Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Transactions on Petri Nets and Other Models of Concurrency, Volume 6, 2012

> Home > Journals > Transactions on Petri Nets and Other Models of Concurrency

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/2012-6
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/2012-6
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

- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/Carmona12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/Carmona12
Josep Carmona:
The Label Splitting Problem. 1-23
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/DarondeauR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/DarondeauR12
Philippe Darondeau, S. Laurie Ricker:
Distributed Control of Discrete-Event Systems: A First Step. 24-45
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/HillahKLP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/HillahKLP12
Lom-Messan Hillah, Fabrice Kordon, Charles Lakos, Laure Petrucci:
Extending pnml Scope: A Framework to Combine Petri Nets Types. 46-70
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/Kindler12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/Kindler12
Ekkart Kindler:
Modelling Local and Global Behaviour: Petri Nets and Event Coordination. 71-93
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/SalemDK12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/SalemDK12
Ala-Eddine Ben Salem, Alexandre Duret-Lutz, Fabrice Kordon:
Model Checking Using Generalized Testing Automata. 94-122
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/SedlmajerBHLBM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/SedlmajerBHLBM12
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
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/Westergaard12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/Westergaard12
Michael Westergaard:
Verifying Parallel Algorithms and Programs Using Coloured Petri Nets. 146-168
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/KordonLBCELLPTW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/KordonLBCELLPTW12
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

- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/ChoppyDEKPY12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/ChoppyDEKPY12
Christine Choppy, Anna Dedova, Sami Evangelista, Kais Klai, Laure Petrucci, Samir Youcef:
Modelling and Formal Verification of the NEO Protocol. 197-225
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/ArnoldB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/ArnoldB12
Sonya Arnold, Jonathan Billington:
An Initial Coloured Petri Net Model of the Hypertext Transfer Protocol Operating over the Transmission Control Protocol. 226-250
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/SuriadiOF12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/SuriadiOF12
Suriadi Suriadi, Chun Ouyang, Ernest Foo:
Privacy Compliance Verification in Cryptographic Protocols. 251-276
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/BruneoLP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/BruneoLP12
Dario Bruneo, Francesco Longo, Antonio Puliafito:
Modeling Energy-Aware Cloud Federations with SRNs. 277-307
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/MarroneMNPRV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/MarroneMNPRV12
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

- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/DongenDA12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/DongenDA12
Boudewijn F. van Dongen, Jörg Desel, Wil M. P. van der Aalst:
Aggregating Causal Runs into Workflow Nets. 334-363

a service of

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.