Abstract is missing.
- Modeling Concurrent Systems: Actors, Nets, and the Problem of Abstraction and CompositionGul Agha. 1-10
- Temporal Uncertainty and Fuzzy-Timing High-Level Petri NetsTadao Murata. 11-28
- Compositionality in State Space Verification MethodsAntti Valmari. 29-56
- On Liveness and Controlled Siphons in Petri NetsKamel Barkaoui, Jean-François Pradat-Peyre. 57-72
- Behavioural and Structural Composition Rules Preserving Liveness by Synchronization for Colored FIFO NetsMohamed-Lyes Benalycherif, Claude Girault. 73-92
- High Level Synthesis of Synchronous Parallel ControllersKrzysztof Bilinski, Erik L. Dagless. 93-112
- Non Sequential Semantics for Contextual P/T NetsNadia Busi, G. Michele Pinna. 113-132
- The PSR Methodology: Integrating Hardware and Software ModelsSusanna Donatelli, Giuliana Franceschinis. 133-152
- Designing and Verifying a Communications Gateway Using Coloured Petri Nets and Design/CPND. J. Floreani, Jonathan Billington, A. J. Dadej. 153-171
- Expected Impulsive Rewards in Markov Regenerative Stochastic Petri NetsReinhard German, Aad P. A. van Moorsel, Muhammad A. Qureshi, William H. Sanders. 172-191
- Asynchronous Composition of High Level Petri Nets: A Quantitative ApproachSerge Haddad, Patrice Moreaux. 192-211
- A Formal Definition of Hierarchical Predicate Transition NetsXudong He. 212-229
- Reducted State Space Representation for Unbounded Vector State SpacesKunihiko Hiraishi. 230-248
- Modelling and Analysis of Distributed Program Execution in BETA Using Coloured Petri NetsJens Bæk Jørgensen, Kjeld Høyer Mortensen. 249-268
- Reachability Analysis Based on Structured RepresentationsPeter Kemper. 269-288
- Arc-Typed Petri NetsEkkart Kindler, Rolf Walter. 289-306
- The SEA Language for System Engineering and AnimationBernd Kleinjohann, Lisa Kleinjohann, Jürgen Tacken. 307-326
- A New Iterative Numerical Solution Algorithm for a Class of Stochastic Petri NetsWerner Knaup. 327-345
- A Structural Approach for the Analysis of Petri Nets by Reduced UnfoldingsAlex Kondratyev, Michael Kishinevsky, Alexander Taubin, Sergei Ten. 346-365
- An O(|S|×|T|)- Algorithm to Verify if a Net is RegularAndrei Kovalyov. 366-379
- The Consistent Use of Names and Polymorphism in the Definition of Object Petri NetsCharles Lakos. 380-399
- Designing a Security System by Means of Coloured Petri NetsJens Linneberg Rasmussen, Mejar Singh. 400-419
- Modeling and Analysing DART Systems Through High-Level Petri NetsLibero Nigro, Francesco Pupo. 420-439
- {SC}*ECS: A Class of Modular and Hierarchical Cooperating SystemsLaura Recalde, Enrique Teruel, Manuel Silva. 440-459
- Behavioural Equivalence for Infinite Systems - Partially Decidable!Kim Sunesen, Mogens Nielsen. 460-479
- Topological Aspects of TracesJaap van Oosten. 480-496
- Asynchronous Control Device Design by Net Model Behavior SimulationVictor Varshavsky, Vyacheslav Marakhovsky. 497-515
- Covering Step GraphFrançois Vernadat, Pierre Azéma, François Michel. 516-535
- Performance Analysis of a Connection Management Scheme in IWU Interconnecting LANs Across ATM NetworksJun Yuan, Lilin Liu, Zhanqiu Dong. 536-548