Conferences in DBLP
Samson Abramsky Petri Nets, Discrete Physics, and Distributed Quantum Computation. [Citation Graph (0, 0)][DBLP ] Conf ] Sadatoshi Kumagai , Toshiyuki Miyamoto Autonomous Distributed System and Its Realization by Multi Agent Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Antoni Mazurkiewicz Petri Nets Without Tokens. [Citation Graph (0, 0)][DBLP ] Conf ] Andrzej Tarlecki Toward Specifications for Reconfigurable Component Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Karsten Wolf Generating Petri Net State Spaces. [Citation Graph (0, 0)][DBLP ] Conf ] M. Beccuti , Giuliana Franceschinis , Serge Haddad Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms. [Citation Graph (0, 0)][DBLP ] Conf ] M. Boyer , Olivier H. Roux Comparison of the Expressiveness of Arc, Place and Transition Time Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Gianfranco Ciardo , Gerald Lüttgen , Andy Jinqing Yu Improving Static Variable Orders Via Invariants. [Citation Graph (0, 0)][DBLP ] Conf ] Hartmut Ehrig , Kathrin Hoffmann , Julia Padberg , Ulrike Prange , Claudia Ermel Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Pierre Ganty , Jean-François Raskin , Laurent Van Begin From Many Places to Few: Automatic Abstraction Refinement for Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Kyller Costa Gorgônio , Jordi Cortadella , Fei Xia A Compositional Method for the Synthesis of Asynchronous Communication Mechanisms. [Citation Graph (0, 0)][DBLP ] Conf ] Kees M. van Hee , Alexander Serebrenik , Natalia Sidorova , Wil M. P. van der Aalst History-Dependent Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Gabriel Juhás , Robert Lorenz , Sebastian Mauser Complete Process Semantics for Inhibitor Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Victor Khomenko Behaviour-Preserving Transition Insertions in Unfolding Prefixes. [Citation Graph (0, 0)][DBLP ] Conf ] Victor Khomenko , Mark Schäfer Combining Decomposition and Unfolding for STG Synthesis. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Köhler , Berndt Farwer Object Nets for Mobility. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Köhler , Heiko Rölke Web Service Orchestration with Super-Dual Object Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Maciej Koutny , Marta Pietkiewicz-Koutny Synthesis of Elementary Net Systems with Context Arcs and Localities. [Citation Graph (0, 0)][DBLP ] Conf ] Ranko Lazic , Thomas Christopher Newcomb , Joël Ouaknine , A. W. Roscoe , James Worrell Nets with Tokens Which Carry Data. [Citation Graph (0, 0)][DBLP ] Conf ] Niels Lohmann , Peter Massuthe , Karsten Wolf Operating Guidelines for Finite-State Services. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Lorenz , Sebastian Mauser , Robin Bergenthum Theory of Regions for the Synthesis of Inhibitor Nets from Scenarios. [Citation Graph (0, 0)][DBLP ] Conf ] Peng Men , Zhenhua Duan , Bin Yu Utilizing Fuzzy Petri Net for Choreography Based Semantic Web Services Discovery. [Citation Graph (0, 0)][DBLP ] Conf ] Elisabeth Pelz , Dietmar Tutsch Formal Models for Multicast Traffic in Network on Chip Architectures with Compositional High-Level Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Fernando Rosa Velardo , David de Frutos-Escrig Name Creation vs. Replication in Petri Net Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Somsak Vanit-Anunchai , Jonathan Billington Modelling the Datagram Congestion Control Protocol's Connection Management and Synchronization Procedures. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Westergaard , Lars Michael Kristensen , Gerth Stølting Brodal , Lars Arge The ComBack Method - Extending Hash Compaction with Backtracking. [Citation Graph (0, 0)][DBLP ] Conf ] Hsu-Chun Yen , Chien-Liang Chen Computing Minimal Elements of Upward-Closed Sets for Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Wil M. P. van der Aalst , Boudewijn F. van Dongen , Christian W. Günther , R. S. Mans , Ana Karla Alves de Medeiros , A. Rozinat , Vladimir Rubin , Minseok Song , H. M. W. (Eric) Verbeek , A. J. M. M. Weijters ProM 4.0: Comprehensive Support for Real Process Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Alexandre Hamez , Fabrice Kordon , Yann Thierry-Mieg , Fabrice Legond-Aubry dmcG : A Distributed Symbolic Model Checker Based on GreatSPN. [Citation Graph (0, 0)][DBLP ] Conf ] Ivan Poliakov , Danil Sokolov , Andrey Mokhov Workcraft: A Static Data Flow Structure Editing, Visualisation and Analysis Tool. [Citation Graph (0, 0)][DBLP ] Conf ] 