دانلود کتاب Application and Theory of Petri Nets and Concurrency

فهرست مطالب :

Front Matter ....Pages I-XI
Front Matter ....Pages 1-1
Self-adaptive Model Checking, the Next Step? (Fabrice Kordon, Yann Thierry-Mieg)....Pages 3-15
Front Matter ....Pages 17-17
Analysis and Synthesis of Weighted Marked Graph Petri Nets (Raymond Devillers, Thomas Hujsa)....Pages 19-39
Elementary Net Synthesis Remains NP-Complete Even for Extremely Simple Inputs (Ronny Tredup, Christian Rosenke, Karsten Wolf)....Pages 40-59
Petri Net Synthesis with Union/Find (Karsten Wolf)....Pages 60-81
Factorisation of Petri Net Solvable Transition Systems (Raymond Devillers, Uli Schlachter)....Pages 82-98
A Geometric Characterisation of Event/State Separation (Uli Schlachter, Harro Wimmel)....Pages 99-116
From Event-Oriented Models to Transition Systems (Eike Best, Nataliya Gribovskaya, Irina Virbitskaite)....Pages 117-139
Front Matter ....Pages 141-141
Simplification of CTL Formulae for Efficient Model Checking of Petri Nets (Frederik Bønneland, Jakob Dyhr, Peter G. Jensen, Mads Johannsen, Jiří Srba)....Pages 143-163
Basis Coverability Graph for Partially Observable Petri Nets with Application to Diagnosability Analysis (Engel Lefaucheux, Alessandro Giua, Carla Seatzu)....Pages 164-183
Co-finiteness and Co-emptiness of Reachability Sets in Vector Addition Systems with States (Petr Jančar, Jérôme Leroux, Grégoire Sutre)....Pages 184-203
Front Matter ....Pages 205-205
An Efficient Characterization of Petri Net Solvable Binary Words (David de Frutos Escrig, Maciej Koutny, Łukasz Mikulski)....Pages 207-226
Pattern Matching in Link Streams: A Token-Based Approach (Clément Bertrand, Hanna Klaudel, Matthieu Latapy, Frédéric Peschanski)....Pages 227-247
Front Matter ....Pages 249-249
Modeling Operational Semantics with Interval Orders Represented by Sequences of Antichains (Ryszard Janicki)....Pages 251-271
One Net Fits All (Sebastian Junges, Joost-Pieter Katoen, Mariëlle Stoelinga, Matthias Volk)....Pages 272-293
On the Structure of Cycloids Introduced by Carl Adam Petri (Rüdiger Valk)....Pages 294-314
Markings in Perpetual Free-Choice Nets Are Fully Characterized by Their Enabled Transitions (Wil M. P. van der Aalst)....Pages 315-336
Front Matter ....Pages 337-337
ePNK Applications and Annotations: A Simulator for YAWL Nets (Ekkart Kindler)....Pages 339-350
Petri Net Model Checking with LoLA 2 (Karsten Wolf)....Pages 351-362
Integrating Simulink Models into the Model Checker Cosmos (Benoît Barbot, Béatrice Bérard, Yann Duplouy, Serge Haddad)....Pages 363-373
LocalProcessModelDiscovery: Bringing Petri Nets to the Pattern Mining World (Niek Tax, Natalia Sidorova, Wil M. P. van der Aalst, Reinder Haakma)....Pages 374-384
A Model Checker Collection for the Model Checking Contest Using Docker and Machine Learning (Didier Buchs, Stefan Klikovits, Alban Linard, Romain Mencattini, Dimitri Racordon)....Pages 385-395
Arduino Library Developed for Petri Net Inserted into RFID Database and Variants (Carlos Eduardo Alves da Silva, José Jean-Paul Zanlucchi de Souza Tavares, Marco Vinícius Muniz Ferreira)....Pages 396-405
OMPetri - A Software Application for Modeling and Simulation Using Extended Hybrid Petri Nets by Employing OpenModelica (Christoph Brinkrolf, Philo Reipke)....Pages 406-415
GreatTeach: A Tool for Teaching (Stochastic) Petri Nets (Elvio Gilberto Amparore, Susanna Donatelli)....Pages 416-425
Back Matter ....Pages 427-427