Petri Nets B

18 papers

YearTitle / Authors
2015An SRN-Based Resiliency Quantification Approach.
Dario Bruneo, Francesco Longo, Marco Scarpa, Antonio Puliafito, Rahul Ghosh, Kishor S. Trivedi
2015Application and Theory of Petri Nets and Concurrency - 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings
Raymond Devillers, Antti Valmari
2015Characterizing Stable Inequalities of Petri Nets.
Marvin Triebel, Jan Sürmeli
2015Charlie - An Extensible Petri Net Analysis Tool.
Monika Heiner, Martin Schwarick, Jan-Thierry Wegener
2015Discrete Parameters in Petri Nets.
Nicolas David, Claude Jard, Didier Lime, Olivier H. Roux
2015Modeling Quantitative Aspects of Concurrent Systems Using Weighted Petri Net Transducers.
Robert Lorenz
2015Negotiation Programs.
Javier Esparza, Jörg Desel
2015Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets.
Hubert Garavel
2015New Search Strategies for the Petri Net CEGAR Approach.
Ákos Hajdu, András Vörös, Tamás Bartha
2015Non-atomic Transition Firing in Contextual Nets.
Thomas Chatain, Stefan Haar, Maciej Koutny, Stefan Schwoon
2015On Interval Process Semantics of Petri Nets with Inhibitor Arcs.
Mohammed A. Alqarni, Ryszard Janicki
2015On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets.
Benoît Barbot, Marta Z. Kwiatkowska
2015On the Reversibility of Live Equal-Conflict Petri Nets.
Thomas Hujsa, Jean-Marc Delosme, Alix Munier Kordon
2015Petri Nets with Structured Data.
Éric Badouel, Loïc Hélouët, Christophe Morvan
2015Process Discovery Using Localized Events.
Wil M. P. van der Aalst, Anna A. Kalenkova, Vladimir A. Rubin, Eric Verbeek
2015Process Mining Reloaded: Event Structures as a Unified Representation of Process Models and Event Logs.
Marlon Dumas, Luciano García-Bañuelos
2015SNAKES: A Flexible High-Level Petri Nets Library (Tool Paper).
Franck Pommereau
2015Workflow Management Principles for Interactions Between Petri Net-Based Agents.
Thomas Wagner, Daniel Moldt