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 15, 2021

> 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/2021-15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/2021-15
Maciej Koutny, Fabrice Kordon, Lucia Pomello:
Transactions on Petri Nets and Other Models of Concurrency XV. Lecture Notes in Computer Science 12530, Springer 2021, ISBN 978-3-662-63078-5
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/BertiA21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/BertiA21
Alessandro Berti, Wil M. P. van der Aalst:
A Novel Token-Based Replay Technique to Speed Up Conformance Checking and Process Enhancement. 1-26
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/Gomez-MartinezLG21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/Gomez-MartinezLG21
Elena Gómez-Martínez, Juan de Lara, Esther Guerra:
Extensible Structural Analysis of Petri Net Product Lines. 27-49
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/AdobbatiFGA21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/AdobbatiFGA21
Federica Adobbati, Carlo Ferigato, Stefano Gandelli, Adrián Puerto Aubel:
Stability of Regional Orthomodular Posets Under Synchronisation and Refinement. 50-74
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/DevillersEH21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/DevillersEH21
Raymond R. Devillers, Evgeny Erofeev, Thomas Hujsa:
Efficient Synthesis of Weighted Marked Graphs with Circular Reachability Graph, and Beyond. 75-100
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/Tredup21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/Tredup21
Ronny Tredup:
The Complexity of Synthesizing sf nop-Equipped Boolean Petri Nets from g-Bounded Inputs. 101-125
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/AdobbatiBP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/AdobbatiBP21
Federica Adobbati, Luca Bernardinello, Lucia Pomello:
A Two-Player Asynchronous Game on Fully Observable Petri Nets. 126-149
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/LiebkeW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/LiebkeW21
Torsten Liebke, Karsten Wolf:
Solving Finite-Linear-Path CTL-Formulas Using the CEGAR Approach. 150-164
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/0006KR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/0006KR21
Alejandro Rodríguez, Lars Michael Kristensen, Adrian Rutle:
Verification of the MQTT IoT Protocol Using Property-Specific CTL Sweep-Line Algorithms. 165-183

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.