default search action

combined dblp search
author search
venue search
publication search

ask others

Transactions on Petri Nets and Other Models of Concurrency, Volume 14, 2019

> 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/2019-14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/2019-14
Maciej Koutny, Lucia Pomello, Lars Michael Kristensen:
Transactions on Petri Nets and Other Models of Concurrency XIV. Lecture Notes in Computer Science 11790, Springer 2019, ISBN 978-3-662-60650-6
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/AalstCCD19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/AalstCCD19
Wil M. P. van der Aalst, Josep Carmona, Thomas Chatain, Boudewijn F. van Dongen:
A Tour in Process Mining: From Practice to Algorithmic Challenges. 1-35
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/Wolf19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/Wolf19
Karsten Wolf:
How Petri Net Theory Serves Petri Net Model Checking: A Survey. 36-63
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/AndreKLPP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/AndreKLPP19
Étienne André, Michal Knapik, Didier Lime, Wojciech Penczek, Laure Petrucci:
Parametric Verification: An Introduction. 64-100
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/MostellerHMS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/MostellerHMS19
David Mosteller, Michael Haustermann, Daniel Moldt, Dennis Schmitz:
Integrated Simulation of Domain-Specific Modeling Languages with Petri Net-Based Transformational Semantics. 101-125
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/0006KR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/0006KR19
Alejandro Rodríguez, Lars Michael Kristensen, Adrian Rutle:
Formal Modelling and Incremental Verification of the MQTT IoT Protocol. 126-145
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/Phawade19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/Phawade19
Ramchandra Phawade:
Kleene Theorems for Free Choice Automata over Distributed Alphabets. 146-171
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/DevillersEH19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/DevillersEH19
Raymond Devillers, Evgeny Erofeev, Thomas Hujsa:
Synthesis of Weighted Marked Graphs from Constrained Labelled Transition Systems: A Geometric Approach. 172-191
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/SyringTA19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/SyringTA19
Anja F. Syring, Niek Tax, Wil M. P. van der Aalst:
Evaluating Conformance Measures in Process Mining Using Conformance Propositions. 192-221
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/SchlachterW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/SchlachterW19
Uli Schlachter, Harro Wimmel:
Relabelling LTS for Petri Net Synthesis via Solving Separation Problems. 222-254

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.