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 11, 2016

> 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/2016-11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/2016-11
Maciej Koutny, Jörg Desel, Jetty Kleijn:
Transactions on Petri Nets and Other Models of Concurrency XI. Lecture Notes in Computer Science 9930, Springer 2016, ISBN 978-3-662-53400-7
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/SimonsenKK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/SimonsenKK16
Kent Inge Fagerland Simonsen, Lars Michael Kristensen, Ekkart Kindler:
Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification. 1-27
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/BrogiCSW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/BrogiCSW16
Antonio Brogi, Andrea Canciani, Jacopo Soldani, Pengwei Wang:
A Petri Net-Based Approach to Model and Analyze the Management of Cloud Applications. 28-48
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/BernardinelloKP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/BernardinelloKP16
Luca Bernardinello, Görkem Kilinç, Lucia Pomello:
Non-interference Notions Based on Reveals and Excludes Relations for Petri Nets. 49-70
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/Vanit-Anunchai16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/Vanit-Anunchai16
Somsak Vanit-Anunchai:
Validating DCCP Simultaneous Feature Negotiation Procedure. 71-91
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/MostellerCH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/MostellerCH16
David Mosteller, Lawrence Cabac, Michael Haustermann:
Integrating Petri Net Semantics in a Model-Driven Approach: The Renew Meta-Modeling and Transformation Framework. 92-113
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/MokhovCB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/MokhovCB16
Andrey Mokhov, Josep Carmona, Jonathan Beaumont:
Mining Conditional Partial Order Graphs from Event Logs. 114-136
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/BarylskaBEMP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/BarylskaBEMP16
Kamila Barylska, Eike Best, Evgeny Erofeev, Lukasz Mikulski, Marcin Piatkowski:
Conditions for Petri Net Solvable Binary Words. 137-159
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/SztylerCVS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/SztylerCVS16
Timo Sztyler, Josep Carmona, Johanna Völker, Heiner Stuckenschmidt:
Self-tracking Reloaded: Applying Process Mining to Personalized Health Care from Labeled Sensor Data. 160-180
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/RibeiroC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/RibeiroC16
Joel Ribeiro, Josep Carmona:
A Method for Assessing Parameter Impact on Control-Flow Discovery Algorithms. 181-202
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/DeselE16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/DeselE16
Jörg Desel, Javier Esparza:
Negotiations and Petri Nets. 203-225
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/RoyS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/RoyS16
Suman Roy, A. S. M. Sajeev:
A Formal Framework for Diagnostic Analysis for Errors of Business Processes. 226-261
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/KordonGHPJRH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/KordonGHPJRH16
Fabrice Kordon, Hubert Garavel, Lom-Messan Hillah, Emmanuel Paviot-Adet, Loïg Jezequel, César Rodríguez, Francis Hulin-Hubard:
MCC'2015 - The Fifth Model Checking Contest. 262-273
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/Wolf16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/Wolf16
Karsten Wolf:
Running LoLA 2.0 in a Model Checking Competition. 274-285
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/HeinerRST16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/HeinerRST16
Monika Heiner, Christian Rohr, Martin Schwarick, Alexey A. Tovchigrechko:
MARCIE's Secrets of Efficient Model Checking. 286-296
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/Hamez16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/Hamez16
Alexandre Hamez:
A Symbolic Model Checker for Petri Nets: pnmc. 297-306
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/JensenNOS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/JensenNOS16
Jonas Finnemann Jensen, Thomas Nielsen, Lars Kaerlund Oestergaard, Jirí Srba:
TAPAAL and Reachability Analysis of P/T Nets. 307-318

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.