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

• Claus Brabrand:
  Constructive Alignment for Teaching Model-Based Design for Concurrency. 1-18
  Electronic Edition (link) BibTeX
• Lars Michael Kristensen, Kurt Jensen:
  Teaching Modelling and Validation of Concurrent Systems Using Coloured Petri Nets. 19-34
  Electronic Edition (link) BibTeX
• Christian Eisentraut, Holger Hermanns:
  Teaching Concurrency Concepts to Freshmen. 35-53
  Electronic Edition (link) BibTeX
• Francesco Calzolai, Rocco De Nicola, Michele Loreti, Francesco Tiezzi:
  TAPAs: A Tool for the Analysis of Process Algebras. 54-70
  Electronic Edition (link) BibTeX
• Kristian Bisgaard Lassen, Boudewijn F. van Dongen:
  Translating Message Sequence Charts to other Process Languages Using Process Mining. 71-85
  Electronic Edition (link) BibTeX
• Lawrence Cabac, Nicolas Denz:
  Net Components for the Integration of Process Mining into Agent-Oriented Software Engineering. 86-103
  Electronic Edition (link) BibTeX
• Djaouida Dahmani, Jean-Michel Ilié, Malika Boukala:
  Time Recursive Petri Nets. 104-118
  Electronic Edition (link) BibTeX
• Kees M. van Hee, Jeroen Keiren, Reinier Post, Natalia Sidorova, Jan Martijn E. M. van der Werf:
  Designing Case Handling Systems. 119-133
  Electronic Edition (link) BibTeX
• Isaac Corro Ramos, Alessandro Di Bucchianico, Lusine Hakobyan, Kees M. van Hee:
  Model Driven Testing Based on Test History. 134-151
  Electronic Edition (link) BibTeX
• H. 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
  Electronic Edition (link) BibTeX
• Blai Bonet, Patrik Haslum, Sarah L. Hickmott, Sylvie Thiébaux:
  Directed Unfolding of Petri Nets. 172-198
  Electronic Edition (link) BibTeX
• Paolo Baldan, Andrea Corradini, Barbara König, Stefan Schwoon:
  McMillan's Complete Prefix for Contextual Nets. 199-220
  Electronic Edition (link) BibTeX
• Jordi Cortadella, Michael Kishinevsky, Dmitry Bufistov, Josep Carmona, Jorge Júlvez:
  Elasticity and Petri Nets. 221-249
  Electronic Edition (link) BibTeX