default search action

combined dblp search
author search
venue search
publication search

ask others

Transactions on Petri Nets and Other Models of Concurrency, Volume 4, 2010

> 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/2010-4
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/2010-4
Kurt Jensen, Susanna Donatelli, Maciej Koutny:
Transactions on Petri Nets and Other Models of Concurrency IV. Lecture Notes in Computer Science 6550, Springer 2010, ISBN 978-3-642-18221-1
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/DeselM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/DeselM10
Jörg Desel, Agathe Merceron:
Vicinity Respecting Homomorphisms for Abstracting System Requirements. 1-20
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/EvangelistaK10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/EvangelistaK10
Sami Evangelista, Lars Michael Kristensen:
Search-Order Independent State Caching. 21-41
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/KnapikSP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/KnapikSP10
Michal Knapik, Maciej Szreter, Wojciech Penczek:
Bounded Parametric Model Checking for Elementary Net Systems. 42-71
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/PenczekPZ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/PenczekPZ10
Wojciech Penczek, Agata Pólrola, Andrzej Zbrzezny:
SAT-Based (Parametric) Reachability for a Class of Distributed Time Petri Nets. 72-97
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/KnapikNPPSZ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/KnapikNPPSZ10
Michal Knapik, Artur Niewiadomski, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Andrzej Zbrzezny:
Parametric Model Checking with VerICS. 98-120
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/MansRAMB10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/MansRAMB10
Ronny Mans, Nick C. Russell, Wil M. P. van der Aalst, Arnold J. Moleman, Piet J. M. Bakker:
Schedule-Aware Workflow Management Systems. 121-143
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/HeeHHPT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/HeeHHPT10
Kees M. van Hee, Jan Hidders, Geert-Jan Houben, Jan Paredaens, Philippe Thiran:
On-the-Fly Auditing of Business Processes. 144-173
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/Wester-EbbinghausMK10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/Wester-EbbinghausMK10
Matthias Wester-Ebbinghaus, Daniel Moldt, Michael Köhler-Bußmeier:
Modeling Organizational Units as Modular Components of Systems of Systems. 174-198
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/DanoyBB10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/DanoyBB10
Grégoire Danoy, Pascal Bouvry, Olivier Boissier:
A Multi-Agent Organizational Framework for Coevolutionary Optimization. 199-224

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.