![](https://dblp.uni-trier.de./img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de./img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de./img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
default search action
Transactions on Petri Nets and Other Models of Concurrency, Volume 6, 2012
- Kurt Jensen, Wil M. P. van der Aalst
, Marco Ajmone Marsan, Giuliana Franceschinis, Jetty Kleijn, Lars Michael Kristensen:
Transactions on Petri Nets and Other Models of Concurrency VI. Lecture Notes in Computer Science 7400, Springer 2012, ISBN 978-3-642-35178-5
Best Workshop Papers from Petri Nets 2011
- Josep Carmona
:
The Label Splitting Problem. 1-23 - Philippe Darondeau, S. Laurie Ricker:
Distributed Control of Discrete-Event Systems: A First Step. 24-45 - Lom-Messan Hillah, Fabrice Kordon, Charles Lakos, Laure Petrucci
:
Extending pnml Scope: A Framework to Combine Petri Nets Types. 46-70 - Ekkart Kindler
:
Modelling Local and Global Behaviour: Petri Nets and Event Coordination. 71-93 - Ala-Eddine Ben Salem, Alexandre Duret-Lutz
, Fabrice Kordon:
Model Checking Using Generalized Testing Automata. 94-122 - Nicolas Sedlmajer, Didier Buchs, Steve Hostettler, Alban Linard, Edmundo López Bóbeda, Alexis Marechal:
A Domain Specific Language Approach for Genetic Regulatory Mechanisms Analysis. 123-145 - Michael Westergaard:
Verifying Parallel Algorithms and Programs Using Coloured Petri Nets. 146-168 - Fabrice Kordon, Alban Linard, Didier Buchs, Maximilien Colange, Sami Evangelista, Kai Lampka, Niels Lohmann, Emmanuel Paviot-Adet, Yann Thierry-Mieg
, Harro Wimmel:
Report on the Model Checking Contest at Petri Nets 2011. 169-196
Special Section on Networks, Protocols, and Services
- Christine Choppy, Anna Dedova, Sami Evangelista, Kais Klai, Laure Petrucci
, Samir Youcef:
Modelling and Formal Verification of the NEO Protocol. 197-225 - Sonya Arnold, Jonathan Billington:
An Initial Coloured Petri Net Model of the Hypertext Transfer Protocol Operating over the Transmission Control Protocol. 226-250 - Suriadi Suriadi, Chun Ouyang, Ernest Foo
:
Privacy Compliance Verification in Cryptographic Protocols. 251-276 - Dario Bruneo
, Francesco Longo
, Antonio Puliafito:
Modeling Energy-Aware Cloud Federations with SRNs. 277-307 - Stefano Marrone
, Nicola Mazzocca
, Roberto Nardone
, Roberta Presta
, Simon Pietro Romano
, Valeria Vittorini:
A SAN-Based Modeling Approach to Performance Evaluation of an IMS-Compliant Conferencing Framework. 308-333
Regular Paper
- Boudewijn F. van Dongen
, Jörg Desel, Wil M. P. van der Aalst
:
Aggregating Causal Runs into Workflow Nets. 334-363
![](https://dblp.uni-trier.de./img/cog.dark.24x24.png)
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.