default search action

combined dblp search
author search
venue search
publication search

ask others

Transactions on Petri Nets and Other Models of Concurrency, Volume 12, 2017

> 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/2017-12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/2017-12
Maciej Koutny, Jetty Kleijn, Wojciech Penczek:
Transactions on Petri Nets and Other Models of Concurrency XII. Lecture Notes in Computer Science 10470, Springer 2017, ISBN 978-3-662-55861-4
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/BarylskaBSS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/BarylskaBSS17
Kamila Barylska, Eike Best, Uli Schlachter, Valentin Spreckels:
Properties of Plain, Pure, and Safe Petri Nets. 1-18
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/KoninckW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/KoninckW17
Pieter De Koninck, Jochen De Weerdt:
Similarity-Based Approaches for Determining the Number of Trace Clusters in Process Discovery. 19-42
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/HoldererCTM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/HoldererCTM17
Julius Holderer, Josep Carmona, Farbod Taymouri, Günter Müller:
Log- and Model-Based Techniques for Security-Sensitive Tackling of Obstructed Workflow Executions. 43-69
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/HoussayePD17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/HoussayePD17
Jordan de la Houssaye, Franck Pommereau, Philippe Deniel:
Formal Modelling and Analysis of Distributed Storage Systems. 70-90
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/MontaliR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/MontaliR17
Marco Montali, Andrey Rivkin:
DB-Nets: On the Marriage of Colored Petri Nets and Relational Databases. 91-118
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/ShershakovKL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/ShershakovKL17
Sergey A. Shershakov, Anna A. Kalenkova, Irina A. Lomazova:
Transition Systems Reduction: Balancing Between Precision and Simplicity. 119-139
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/ValmariH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/ValmariH17
Antti Valmari, Henri Hansen:
Stubborn Set Intuition Explained. 140-165
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/Verbeek17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/Verbeek17
H. M. W. Verbeek:
Decomposed Replay Using Hiding and Reduction as Abstraction. 166-186
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/Winkowski17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/Winkowski17
Józef Winkowski:
Multiplicative Transition Systems. 187-215

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.