Conferences in DBLP
Giuliana Franceschinis Expressiveness and Efficient Analysis of Stochastic Well-Formed Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Kenneth L. McMillan Applications of Craig Interpolation to Model Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Jonathan D. Pincus , Jeannette M. Wing Towards an Algebra for Security Policies. [Citation Graph (0, 0)][DBLP ] Conf ] Manuel Silva , Laura Recalde Continuization of Timed Petri Nets: From Performance Evaluation to Observation and Control. [Citation Graph (0, 0)][DBLP ] Conf ] Wil M. P. van der Aalst , Ana Karla A. de Medeiros , A. J. M. M. Weijters Genetic Process Mining. [Citation Graph (0, 0)][DBLP ] Conf ] Samy Abbes The (True) Concurrent Markov Property and Some Applications to Markov Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Kamel Barkaoui , Jean-Michel Couvreur , Kais Klai On the Equivalence Between Liveness and Deadlock-Freeness in Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Anne Bouillard , Bruno Gaujal , Jean Mairesse Extremal Throughputs in Free-Choice Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Leonardo Brenner , Paulo Fernandes , Afonso Sales , Thais Webber A Framework to Decompose GSPN Models. [Citation Graph (0, 0)][DBLP ] Conf ] Lawrence Cabac , Michael Duvigneau , Daniel Moldt , Heiko Rölke Modeling Dynamic Architectures Using Nets-Within-Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Lorenzo Capra , Massimiliano De Pierro , Giuliana Franceschinis A High Level Language for Structural Relations in Well-Formed Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Clarisó , Enric Rodríguez-Carbonell , Jordi Cortadella Derivation of Non-structural Invariants of Petri Nets Using Abstract Interpretation. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Paul Comet , Hanna Klaudel , Stéphane Liauzu Modeling Multi-valued Genetic Regulatory Networks Using High-Level Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Bing Han , Jonathan Billington Termination Properties of TCP's Connection Management Procedures. [Citation Graph (0, 0)][DBLP ] Conf ] Kees M. van Hee , Alexander Serebrenik , Natalia Sidorova , Marc Voorhoeve Soundness of Resource-Constrained Workflow Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Kathrin Hoffmann , Hartmut Ehrig , Till Mossakowski High-Level Nets with Nets and Rules as Tokens. [Citation Graph (0, 0)][DBLP ] Conf ] Gabriel Juhás , Robert Lorenz , Jörg Desel Can I Execute My Scenario in Your Net?. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Köhler , Heiko Rölke Reference and Value Semantics Are Equivalent for Ordinary Object Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Charles Lesire , Catherine Tessier Particle Petri Nets for Aircraft Procedure Monitoring Under Uncertainty. [Citation Graph (0, 0)][DBLP ] Conf ] Wolfgang Reisig On the Expressive Power of Petri Net Schemata. [Citation Graph (0, 0)][DBLP ] Conf ] Mark Schäfer , Walter Vogler , Petr Jancar Determinate STG Decomposition of Marked Graphs. [Citation Graph (0, 0)][DBLP ] Conf ] Jirí Srba Timed-Arc Petri Nets vs. Networks of Timed Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Lisa Wells , Thomas Maier Specifying and Analyzing Software Safety Requirements of a Frequency Converter Using Coloured Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Moe Thandar Wynn , David Edmond , Wil M. P. van der Aalst , Arthur H. M. ter Hofstede Achieving a General, Formal and Decidable Approach to the OR-Join in Workflow Using Reset Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Boudewijn F. van Dongen , Ana Karla A. de Medeiros , H. M. W. Verbeek , A. J. M. M. Weijters , Wil M. P. van der Aalst The ProM Framework: A New Era in Process Mining Tool Support. [Citation Graph (0, 0)][DBLP ] Conf ] Sami Evangelista High Level Petri Nets Analysis with Helena. [Citation Graph (0, 0)][DBLP ] Conf ] Eric Verbeek , Maarte van Hattem , Hajo A. Reijers , Wendy de Munk Protos 7.0: Simulation Made Accessible. [Citation Graph (0, 0)][DBLP ] Conf ] 