Conferences in DBLP
Jordi Cortadella , Michael Kishinevsky , Alex Kondratyev , Luciano Lavagno , Alexandre Yakovlev Hardware and Petri Nets: Application to Asynchronous Circuit Design. [Citation Graph (0, 0)][DBLP ] Conf ] Philippe Darondeau Region Based Synthesis of P/T-Nets and Its Potential Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Gregor Engels , Reiko Heckel , Stefan Sauer UML - A Universal Modeling Language? [Citation Graph (0, 0)][DBLP ] Conf ] Kim Guldstrand Larsen Verification of Timed and Hybrid Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Paolo Ballarini , Susanna Donatelli , Giuliana Franceschinis Parametric Stochastic Well-Formed Nets and Compositional Modelling. [Citation Graph (0, 0)][DBLP ] Conf ] Eike Best , Harro Wimmel Reducing k -Safe Petri Nets to Pomset-Equivalent 1-Safe Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Roberto Bruni , Ugo Montanari Executing Transactions in Zero-Safe Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Gianfranco Ciardo , Gerald Lüttgen , Radu Siminiceanu Efficient Symbolic State-Space Construction for Asynchronous Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Michel Couvreur , Sébastien Grivet , Denis Poitrenaud Designing a LTL Model-Checker Based on Unfolding Graphs. [Citation Graph (0, 0)][DBLP ] Conf ] Jörg Desel , Gabriel Juhás , Robert Lorenz Process Semantics of Petri Nets over Partial Algebra. [Citation Graph (0, 0)][DBLP ] Conf ] Mohammed Elkoutbi , Rudolf K. Keller User Interface Prototyping Based on UML Scenarios and High-Level Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] David de Frutos-Escrig , Valentín Valero Ruiz , Olga Marroquín Alonso Decidability of Properties of Timed-Arc Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Steven Gordon , Jonathan Billington Analysing the WAP Class 2 Wireless Transaction Protocol Using Coloured Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Kevin X. He , Michael D. Lemmon Liveness Verification of Discrete Event Systems Modeled by n -Safe Ordinary Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Nisse Husberg , Teemu Tynjälä , Kimmo Varpaaniemi Modelling and Analysing the SDL Description of the ISDN-DSS1 Protocol. [Citation Graph (0, 0)][DBLP ] Conf ] H. C. M. Kleijn , Maciej Koutny Process Semantics of P/T-Nets with Inhibitor Arcs. [Citation Graph (0, 0)][DBLP ] Conf ] Lars Michael Kristensen , Antti Valmari Improved Question-Guided Stubborn Set Methods for State Properties. [Citation Graph (0, 0)][DBLP ] Conf ] Maciej Koutny A Compositional Model of Time Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Charles Lakos Composing Abstractions of Coloured Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Louise Lorentsen , Lars Michael Kristensen Modelling and Analysis of a DANFOSS Flowmeter System Using Coloured Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Kjeld Høyer Mortensen Automatic Code Generation Method Based on Coloured Petri Net Models Applied on an Access Control System. [Citation Graph (0, 0)][DBLP ] Conf ] Denis Poitrenaud , Jean-François Pradat-Peyre Pre- and Post-agglomerations for LTL Model Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Ph. Schnoebelen , Natalia Sidorova Bisimulation and the Reduction of Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Walter Vogler Efficiency of Asynchronous Systems That Communicate Asynchronously. [Citation Graph (0, 0)][DBLP ] Conf ] Jochen Beister , Gernot Eckstein , Ralf Wollowski CASCADE: A Tool Kernel Supporting a Comprehensive Design Method for Asynchronous Controllers. [Citation Graph (0, 0)][DBLP ] Conf ] Wil 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 Ex Spect 6.4: An Executable Specification Tool for Hierarchical Colored Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Karsten Schmidt LoLA: A Low Level Analyser. [Citation Graph (0, 0)][DBLP ] Conf ] H. M. W. (Eric) Verbeek , Wil M. P. van der Aalst Woflan 2.0: A Petri-Net-Based Workflow Diagnosis Tool. [Citation Graph (0, 0)][DBLP ] Conf ] 