Conferences in DBLP
Ralph-Johan Back Invariant Based Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Javier Campos , José Merseguer On the Integration of UML and Petri Nets in Software Development. [Citation Graph (0, 0)][DBLP ] Conf ] Ekkart Kindler , Vladimir Rubin , Robert Wagner Component Tools: Integrating Petri Nets with Other Formal Methods. [Citation Graph (0, 0)][DBLP ] Conf ] Jianli Xu Using Colored Petri Nets and Tools to Support Mobile Terminal and Network Software Development. [Citation Graph (0, 0)][DBLP ] Conf ] Baver Acu , Wolfgang Reisig Compensation in Workflow Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Nicolas Baudru , Rémi Morin The Synthesis Problem of Netcharts. [Citation Graph (0, 0)][DBLP ] Conf ] Roberto Bruni , Hernán C. Melgratti Non-sequential Behaviour of Dynamic Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Chatain , Claude Jard Complete Finite Prefixes of Symbolic Unfoldings of Safe Time Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Sami Evangelista , Jean-François Pradat-Peyre On the Computation of Stubborn Sets of Colored Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Eric Fabre On the Construction of Pullbacks for Safe Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] David Gilbert , Monika Heiner From Petri Nets to Differential Equations - An Integrative Approach for Biochemical Network Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Andreas Glausch , Wolfgang Reisig How Expressive Are Petri Net Schemata?. [Citation Graph (0, 0)][DBLP ] Conf ] Serge Haddad , Lynda Mokdad , Patrice Moreaux A New Approach to the Evaluation of Non Markovian Stochastic Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Kees M. van Hee , Irina A. Lomazova , Olivia Oanea , Alexander Serebrenik , Natalia Sidorova , Marc Voorhoeve Nested Nets for Adaptive Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Meuse N. Oliveira Jr. , Silvino Neto , Paulo Romero Martins Maciel , Ricardo Massa Ferreira Lima , Angelo Ribeiro , Raimundo S. Barreto , Eduardo Tavares , Frederico Braga Analyzing Software Performance and Energy Consumption of Embedded Systems by Probabilistic Modeling: An Approach Based on Coloured Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] H. C. M. Kleijn , Maciej Koutny Infinite Process Semantics of Inhibitor Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Lorenz , Gabriel Juhás Towards Synthesis of Petri Nets from Scenarios. [Citation Graph (0, 0)][DBLP ] Conf ] Spyros A. Reveliotis , Jin-Young Choi Designing Reversibility-Enforcing Supervisors of Polynomial Complexity for Bounded Petri Nets Through the Theory of Regions. [Citation Graph (0, 0)][DBLP ] Conf ] Stephan Roch , Karsten Schmidt On the Step Explosion Problem. [Citation Graph (0, 0)][DBLP ] Conf ] Katrin Winkelmann , Holger Luczak Prospective Analysis of Cooperative Provision of Industrial Services Using Coloured Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Robin Bergenthum , Jörg Desel , Gabriel Juhás , Robert Lorenz Can I Execute My Scenario in Your Net? VipTool Tells You! [Citation Graph (0, 0)][DBLP ] Conf ] Olivier Bonnet-Torrés , Patrice Domenech , Charles Lesire , Catherine Tessier Exhost-PIPE: PIPE Extended for Two Classes of Monitoring Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Elena Gómez-Martínez , José Merseguer ArgoSPE: Model-Based Software Performance Engineering. [Citation Graph (0, 0)][DBLP ] Conf ] R. Goud , Kees M. van Hee , R. D. J. Post , Jan Martijn E. M. van der Werf Petriweb: A Repository for Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Jochen Stier , Jens H. Jahnke , Hausi A. Müller Geist3D, a Simulation Tool for Geometry-Driven Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Westergaard , Kristian Bisgaard Lassen The BRITNeY Suite Animation Tool. [Citation Graph (0, 0)][DBLP ] Conf ] 