Abstract is missing.
- Hardware and Petri Nets: Application to Asynchronous Circuit DesignJordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexandre Yakovlev. 1-15 [doi]
- Region Based Synthesis of P/T-Nets and Its Potential ApplicationsPhilippe Darondeau. 16-23 [doi]
- UML - A Universal Modeling Language?Gregor Engels, Reiko Heckel, Stefan Sauer. 24-38 [doi]
- Verification of Timed and Hybrid SystemsKim Guldstrand Larsen. 39-42 [doi]
- Parametric Stochastic Well-Formed Nets and Compositional ModellingPaolo Ballarini, Susanna Donatelli, Giuliana Franceschinis. 43-62 [doi]
- Reducing k -Safe Petri Nets to Pomset-Equivalent 1-Safe Petri NetsEike Best, Harro Wimmel. 63-82 [doi]
- Executing Transactions in Zero-Safe NetsRoberto Bruni, Ugo Montanari. 83-102 [doi]
- Efficient Symbolic State-Space Construction for Asynchronous SystemsGianfranco Ciardo, Gerald Lüttgen, Radu Siminiceanu. 103-122 [doi]
- Designing a LTL Model-Checker Based on Unfolding GraphsJean-Michel Couvreur, Sébastien Grivet, Denis Poitrenaud. 123-145 [doi]
- Process Semantics of Petri Nets over Partial AlgebraJörg Desel, Gabriel Juhás, Robert Lorenz. 146-165 [doi]
- User Interface Prototyping Based on UML Scenarios and High-Level Petri NetsMohammed Elkoutbi, Rudolf K. Keller. 166-186 [doi]
- Decidability of Properties of Timed-Arc Petri NetsDavid de Frutos-Escrig, Valentín Valero Ruiz, Olga Marroquín Alonso. 187-206 [doi]
- Analysing the WAP Class 2 Wireless Transaction Protocol Using Coloured Petri NetsSteven Gordon, Jonathan Billington. 207-226 [doi]
- Liveness Verification of Discrete Event Systems Modeled by n -Safe Ordinary Petri NetsKevin X. He, Michael D. Lemmon. 227-243 [doi]
- Modelling and Analysing the SDL Description of the ISDN-DSS1 ProtocolNisse Husberg, Teemu Tynjälä, Kimmo Varpaaniemi. 244-260 [doi]
- Process Semantics of P/T-Nets with Inhibitor ArcsH. C. M. Kleijn, Maciej Koutny. 261-281 [doi]
- Improved Question-Guided Stubborn Set Methods for State PropertiesLars Michael Kristensen, Antti Valmari. 282-302 [doi]
- A Compositional Model of Time Petri NetsMaciej Koutny. 303-322 [doi]
- Composing Abstractions of Coloured Petri NetsCharles Lakos. 323-345 [doi]
- Modelling and Analysis of a DANFOSS Flowmeter System Using Coloured Petri NetsLouise Lorentsen, Lars Michael Kristensen. 346-366 [doi]
- Automatic Code Generation Method Based on Coloured Petri Net Models Applied on an Access Control SystemKjeld Høyer Mortensen. 367-386 [doi]
- Pre- and Post-agglomerations for LTL Model CheckingDenis Poitrenaud, Jean-François Pradat-Peyre. 387-408 [doi]
- Bisimulation and the Reduction of Petri NetsPh. Schnoebelen, Natalia Sidorova. 409-423 [doi]
- Efficiency of Asynchronous Systems That Communicate AsynchronouslyWalter Vogler. 424-444 [doi]
- CASCADE: A Tool Kernel Supporting a Comprehensive Design Method for Asynchronous ControllersJochen Beister, Gernot Eckstein, Ralf Wollowski. 445-454 [doi]
- Ex Spect 6.4: An Executable Specification Tool for Hierarchical Colored Petri NetsWil M. P. van der Aalst, Poul J. N. de Crom, Roy R. H. M. J. Goverde, Kees M. van Hee, Wout J. Hofman, Hajo A. Reijers, Robert A. van der Toorn. 455-464 [doi]
- LoLA: A Low Level AnalyserKarsten Schmidt 0004. 465-474 [doi]
- Woflan 2.0: A Petri-Net-Based Workflow Diagnosis ToolH. M. W. (Eric) Verbeek, Wil M. P. van der Aalst. 475-484 [doi]