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 8, 2013

> 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/2013-8
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/2013-8
Maciej Koutny, Wil M. P. van der Aalst, Alex Yakovlev:
Transactions on Petri Nets and Other Models of Concurrency VIII. Lecture Notes in Computer Science 8100, Springer 2013, ISBN 978-3-642-40464-1
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/BaldanCGS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/BaldanCGS13
Paolo Baldan, Nicoletta Cocco, Federica Giummolè, Marta Simeoni:
Comparing Metabolic Pathways through Reactions and Potential Fluxes. 1-23
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/MaissaKMT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/MaissaKMT13
Yann Ben Maissa, Fabrice Kordon, Salma Mouline, Yann Thierry-Mieg:
Modeling and Analyzing Wireless Sensor Networks with VeriSensor: An Integrated Workflow. 24-47
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/BernardinelloMP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/BernardinelloMP13
Luca Bernardinello, Elisabetta Mangioni, Lucia Pomello:
Local State Refinement and Composition of Elementary Net Systems: An Approach Based on Morphisms. 48-70
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/DedovaP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/DedovaP13
Anna Dedova, Laure Petrucci:
From Code to Coloured Petri Nets: Modelling Guidelines. 71-88
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/JanowskaPPZ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/JanowskaPPZ13
Agata Janowska, Wojciech Penczek, Agata Pólrola, Andrzej Zbrzezny:
Using Integer Time Steps for Checking Branching Time Properties of Time Petri Nets. 89-105
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/HeeSW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/HeeSW13
Kees M. van Hee, Natalia Sidorova, Jan Martijn E. M. van der Werf:
When Can We Trust a Third Party? - A Soundness Perspective. 106-122
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/HerajySH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/HerajySH13
Mostafa Herajy, Martin Schwarick, Monika Heiner:
Hybrid Petri Nets for Modelling the Eukaryotic Cell Cycle. 123-141
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/Rohr13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/Rohr13
Christian Rohr:
Simulative Model Checking of Steady State and Time-Unbounded Temporal Operators. 142-158
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/Wester-EbbinghausK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/Wester-EbbinghausK13
Matthias Wester-Ebbinghaus, Michael Köhler-Bußmeier:
Model-Driven Middleware Support for Team-Oriented Process Management. 159-179
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/WestergaardFS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/WestergaardFS13
Michael Westergaard, Dirk Fahland, Christian Stahl:
Grade/CPN: A Tool and Temporal Logic for Testing Colored Petri Net Models in Teaching. 180-202

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.