default search action

combined dblp search
author search
venue search
publication search

ask others

Transactions on Petri Nets and Other Models of Concurrency, Volume 5, 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-5
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/2012-5
Kurt Jensen, Susanna Donatelli, Jetty Kleijn:
Transactions on Petri Nets and Other Models of Concurrency V. Lecture Notes in Computer Science 6900, Springer 2012, ISBN 978-3-642-29071-8
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/Banaji12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/Banaji12
Murad Banaji:
Cycle Structure in SR and DSR Graphs: Implications for Multiple Equilibria and Stable Oscillation in Chemical Reaction Networks. 1-21
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/BergenthumDHM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/BergenthumDHM12
Robin Bergenthum, Jörg Desel, Andreas Harrer, Sebastian Mauser:
Modeling and Mining of Learnflows. 22-50
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/CiardoZJ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/CiardoZJ12
Gianfranco Ciardo, Yang Zhao, Xiaoqing Jin:
Ten Years of Saturation: A Petri Net Perspective. 51-95
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/Elhog-BenzinaHH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/Elhog-BenzinaHH12
Dorsaf Elhog-Benzina, Serge Haddad, Rolf Hennicker:
Refinement and Asynchronous Composition of Modal Petri Nets. 96-120
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/HongKPE12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/HongKPE12
Silien Hong, Fabrice Kordon, Emmanuel Paviot-Adet, Sami Evangelista:
Computing a Hierarchical Static Order for Decision Diagram-Based Representation from P/T Nets. 121-140
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/KnapikP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/KnapikP12
Michal Knapik, Wojciech Penczek:
Bounded Model Checking for Parametric Timed Automata. 141-159
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/KoutnyP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/KoutnyP12
Maciej Koutny, Marta Pietkiewicz-Koutny:
Synthesis Problem for Petri Nets with Localities. 160-180
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/Lopez-GraoC12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/Lopez-GraoC12
Juan-Pablo López-Grao, José Manuel Colom:
A Petri Net Perspective on the Resource Allocation Problem in Software Engineering. 181-200
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/MascheroniF12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/MascheroniF12
Marco Mascheroni, Fabio Farina:
Nets-Within-Nets Paradigm and Grid Computing. 201-220
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/SoleC12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/SoleC12
Marc Solé, Josep Carmona:
Incremental Process Discovery. 221-242
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/WagnerQMR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/WagnerQMR12
Thomas Wagner, José Ghislain Quenum, Daniel Moldt, Christine Reese:
Providing an Agent Flavored Integration for Workflow Management. 243-264
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/WestergaardK12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/WestergaardK12
Michael Westergaard, Lars Michael Kristensen:
A Graphical Approach to Component-Based and Extensible Model Checking Platforms. 265-291

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.