17. APN 1996: Osaka, Japan

Invited Papers

• Gul Agha:
  Modeling Concurrent Systems: Actors, Nets, and the Problem of Abstraction and Composition. 1-10
  
• Tadao Murata:
  Temporal Uncertainty and Fuzzy-Timing High-Level Petri Nets. 11-28
  
• Antti Valmari:
  Compositionality in State Space Verification Methods. 29-56
  

Full Papers

• Kamel Barkaoui, Jean-François Pradat-Peyre:
  On Liveness and Controlled Siphons in Petri Nets. 57-72
  
• Mohamed-Lyes Benalycherif, Claude Girault:
  Behavioural and Structural Composition Rules Preserving Liveness by Synchronization for Colored FIFO Nets. 73-92
  
• Krzysztof Bilinski, Erik L. Dagless:
  High Level Synthesis of Synchronous Parallel Controllers. 93-112
  
• Nadia Busi, G. Michele Pinna:
  Non Sequential Semantics for Contextual P/T Nets. 113-132
  
• Susanna Donatelli, Giuliana Franceschinis:
  The PSR Methodology: Integrating Hardware and Software Models. 133-152
  
• D. J. Floreani, Jonathan Billington, A. J. Dadej:
  Designing and Verifying a Communications Gateway Using Coloured Petri Nets and Design/CPN. 153-171
  
• Reinhard German, Aad P. A. van Moorsel, Muhammad A. Qureshi, William H. Sanders:
  Expected Impulsive Rewards in Markov Regenerative Stochastic Petri Nets. 172-191
  
• Serge Haddad, Patrice Moreaux:
  Asynchronous Composition of High Level Petri Nets: A Quantitative Approach. 192-211
  
• Xudong He:
  A Formal Definition of Hierarchical Predicate Transition Nets. 212-229
  
• Kunihiko Hiraishi:
  Reducted State Space Representation for Unbounded Vector State Spaces. 230-248
  
• Jens Bæk Jørgensen, Kjeld Høyer Mortensen:
  Modelling and Analysis of Distributed Program Execution in BETA Using Coloured Petri Nets. 249-268
  
• Peter Kemper:
  Reachability Analysis Based on Structured Representations. 269-288
  
• Ekkart Kindler, Rolf Walter:
  Arc-Typed Petri Nets. 289-306
  
• Bernd Kleinjohann, Lisa Kleinjohann, Jürgen Tacken:
  The SEA Language for System Engineering and Animation. 307-326
  
• Werner Knaup:
  A New Iterative Numerical Solution Algorithm for a Class of Stochastic Petri Nets. 327-345
  
• Alex Kondratyev, Michael Kishinevsky, Alexander Taubin, Sergei Ten:
  A Structural Approach for the Analysis of Petri Nets by Reduced Unfoldings. 346-365
  
• Andrei Kovalyov:
  An O(|S|×|T|)- Algorithm to Verify if a Net is Regular. 366-379
  
• Charles Lakos:
  The Consistent Use of Names and Polymorphism in the Definition of Object Petri Nets. 380-399
  
• Jens Linneberg Rasmussen, Mejar Singh:
  Designing a Security System by Means of Coloured Petri Nets. 400-419
  
• Libero Nigro, Francesco Pupo:
  Modeling and Analysing DART Systems Through High-Level Petri Nets. 420-439
  
• Laura Recalde, Enrique Teruel, Manuel Silva:
  {SC}*ECS: A Class of Modular and Hierarchical Cooperating Systems. 440-459
  
• Kim Sunesen, Mogens Nielsen:
  Behavioural Equivalence for Infinite Systems - Partially Decidable! 460-479
  
• Jaap van Oosten:
  Topological Aspects of Traces. 480-496
  
• Victor Varshavsky, Vyacheslav Marakhovsky:
  Asynchronous Control Device Design by Net Model Behavior Simulation. 497-515
  
• François Vernadat, Pierre Azéma, François Michel:
  Covering Step Graph. 516-535
  
• Jun Yuan, Lilin Liu, Zhanqiu Dong:
  Performance Analysis of a Connection Management Scheme in IWU Interconnecting LANs Across ATM Networks. 536-548