default search action
37th Petri Nets 2016: Toruń, Poland
- Fabrice Kordon, Daniel Moldt:
Application and Theory of Petri Nets and Concurrency - 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings. Lecture Notes in Computer Science 9698, Springer 2016, ISBN 978-3-319-39085-7
Distinguished Carl Adam Petri Lecture
- Ian T. Foster:
Reasoning About Discovery Clouds. 3-10
Invited Talks
- Manfred Broy:
From Actions, Transactions, and Processes to Services. 13-19 - Slawomir Lasota
:
Decidability Border for Petri Nets with Data: WQO Dichotomy Conjecture. 20-36
Petri Net Synthesis
- Eike Best, Evgeny Erofeev, Uli Schlachter, Harro Wimmel:
Characterising Petri Net Solvable Binary Words. 39-58 - Eike Best, Raymond R. Devillers:
The Power of Prime Cycles. 59-78 - Uli Schlachter:
Petri Net Synthesis for Restricted Classes of Nets. 79-97
Tools
- Lawrence Cabac, Michael Haustermann, David Mosteller:
Renew 2.5 - Towards a Comprehensive Integrated Development Environment for Petri Net-Based Applications. 101-112 - Wojciech Ptak, Andrzej M. Kierzek, Jacek Sroka
AB-QSSPN: Integration of Agent-Based Simulation of Cellular Populations with Quasi-Steady State Simulation of Genome Scale Intracellular Networks. 113-122 - András Vörös
PetriDotNet 1.5: Extensible Petri Net Editor and Analyser for Education and Research. 123-132
Applications
- Lars Michael Kristensen, Vegard Veiset:
Transforming CPN Models into Code for TinyOS: A Case Study of the RPL Protocol. 135-154 - Loïc Hélouët, Karim Kecir
Realizability of Schedules by Stochastic Time Petri Nets with Blocking Semantics. 155-175 - Franck Pommereau:
ABCD: A User-Friendly Language for Formal Modelling and Analysis. 176-195 - Quentin Gaudel, Pauline Ribot, Elodie Chanthery, Matthew J. Daigle
Health Monitoring of a Planetary Rover Using Hybrid Particle Petri Nets. 196-215
Conformance Checking
- H. M. W. Verbeek
Merging Alignments for Decomposed Replay. 219-239 - Thomas Chatain, Josep Carmona
Anti-alignments in Conformance Checking - The Dark Side of Process Models. 240-258
Time and Stochastic Models
- Yrvann Emzivat, Benoît Delahaye, Didier Lime
Probabilistic Time Petri Nets. 261-280 - Kristóf Marussy
Efficient Decomposition Algorithm for Stationary Analysis of Complex Stochastic Petri Net Models. 281-300 - S. Akshay, Blaise Genest, Loïc Hélouët:
Decidable Classes of Unbounded Petri Nets with Time and Urgency. 301-322
Structural Methods
- Leonid W. Dworzanski, Irina A. Lomazova
Structural Place Invariants for Analyzing the Behavioral Properties of Nested Petri Nets. 325-344
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-14 20:49 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: