default search action

combined dblp search
author search
venue search
publication search

ask others

Transactions on Petri Nets and Other Models of Concurrency, Volume 16, 2022

> 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/2022-16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/2022-16
Maciej Koutny, Fabrice Kordon, Daniel Moldt:
Transactions on Petri Nets and Other Models of Concurrency XVI. Lecture Notes in Computer Science 13220, Springer Berlin Heidelberg 2022, ISBN 978-3-662-65303-6
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/BernardinelloLNP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/BernardinelloLNP22
Luca Bernardinello, Irina A. Lomazova, Roman Nesterov, Lucia Pomello:
Property-Preserving Transformations of Elementary Net Systems Based on Morphisms. 1-23
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/BruningsFD22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/BruningsFD22
Mitchel Brunings, Dirk Fahland, Boudewijn F. van Dongen:
Defining Meaningful Local Process Models. 24-48
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/KwantesK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/KwantesK22
Pieter M. Kwantes, Jetty Kleijn:
Distributed Synthesis of Asynchronously Communicating Distributed Process Models. 49-72
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/LiebkeW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/LiebkeW22
Torsten Liebke, Karsten Wolf:
Using Approximation for the Verification of Token-Scaling Models. 73-90
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/Wolf22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/Wolf22
Karsten Wolf:
Portfolio Management in Explicit Model Checking. 91-111
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/RafievMXYNMTBVB22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/RafievMXYNMTBVB22
Ashur Rafiev, Jordan Morris, Fei Xia, Alex Yakovlev, Matthew Naylor, Simon W. Moore, David B. Thomas, Graeme M. Bragg, Mark Vousden, Andrew Brown:
Practical Distributed Implementation of Very Large Scale Petri Net Simulations. 112-139

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.