default search action

combined dblp search
author search
venue search
publication search

ask others

Transactions on Petri Nets and Other Models of Concurrency, Volume 1, 2008

> 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/2008-1
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/2008-1
Kurt Jensen, Wil M. P. van der Aalst, Jonathan Billington:
Transactions on Petri Nets and Other Models of Concurrency I. Lecture Notes in Computer Science 5100, Springer 2008, ISBN 978-3-540-89286-1
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/Brabrand08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/Brabrand08
Claus Brabrand:
Constructive Alignment for Teaching Model-Based Design for Concurrency. 1-18
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/KristensenJ08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/KristensenJ08
Lars Michael Kristensen, Kurt Jensen:
Teaching Modelling and Validation of Concurrent Systems Using Coloured Petri Nets. 19-34
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/EisentrautH08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/EisentrautH08
Christian Eisentraut, Holger Hermanns:
Teaching Concurrency Concepts to Freshmen. 35-53
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/CalzolaiNLT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/CalzolaiNLT08
Francesco Calzolai, Rocco De Nicola, Michele Loreti, Francesco Tiezzi:
TAPAs: A Tool for the Analysis of Process Algebras. 54-70
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/LassenD08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/LassenD08
Kristian Bisgaard Lassen, Boudewijn F. van Dongen:
Translating Message Sequence Charts to other Process Languages Using Process Mining. 71-85
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/CabacD08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/CabacD08
Lawrence Cabac, Nicolas Denz:
Net Components for the Integration of Process Mining into Agent-Oriented Software Engineering. 86-103
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/DahmaniIB08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/DahmaniIB08
Djaouida Dahmani, Jean-Michel Ilié, Malika Boukala:
Time Recursive Petri Nets. 104-118
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/HeeKPSW08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/HeeKPSW08
Kees M. van Hee, Jeroen Keiren, Reinier Post, Natalia Sidorova, Jan Martijn E. M. van der Werf:
Designing Case Handling Systems. 119-133
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/RamosBHH08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/RamosBHH08
Isaac Corro Ramos, Alessandro Di Bucchianico, Lusine Hakobyan, Kees M. van Hee:
Model Driven Testing Based on Test History. 134-151
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/VerbeekPAW08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/VerbeekPAW08
Henricus M. W. (Eric) Verbeek, A. Johannes Pretorius, Wil M. P. van der Aalst, Jarke J. van Wijk:
Assessing State Spaces Using Petri-Net Synthesis and Attribute-Based Visualization. 152-171
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/BonetHHT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/BonetHHT08
Blai Bonet, Patrik Haslum, Sarah L. Hickmott, Sylvie Thiébaux:
Directed Unfolding of Petri Nets. 172-198
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/BaldanCKS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/BaldanCKS08
Paolo Baldan, Andrea Corradini, Barbara König, Stefan Schwoon:
McMillan's Complete Prefix for Contextual Nets. 199-220
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/CortadellaKBCJ08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/CortadellaKBCJ08
Jordi Cortadella, Michael Kishinevsky, Dmitry Bufistov, Josep Carmona, Jorge Júlvez:
Elasticity and Petri Nets. 221-249

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.