Lectures on Concurrency and Petri Nets 2003: Eichstätt, Germany

@proceedings{DBLP:conf/ac/2003pn,
  editor    = {J{\"o}rg Desel and
               Wolfgang Reisig and
               Grzegorz Rozenberg},
  title     = {Lectures on Concurrency and Petri Nets, Advances in Petri Nets
               [This tutorial volume originates from the 4th Advanced Course
               on Petri Nets, ACPN 2003, held in Eichst{\"a}tt, Germany in
               September 2003. In addition to lectures given at ACPN 2003, additional
               chapters have been commissioned]},
  booktitle = {Lectures on Concurrency and Petri Nets},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {3098},
  year      = {2004},
  isbn      = {3-540-22261-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• Wil M. P. van der Aalst:
  Business Process Management Demystified: A Tutorial on Models, Systems and Standards for Workflow Management. 1-65
  
• Dan Barak, David Harel, Rami Marelly:
  InterPlay: Horizontal Scale-up and Transition to Design in Scenario-Based Programming. 66-86
  
• Johan Bengtsson, Wang Yi:
  Timed Automata: Semantics, Algorithms and Tools. 87-124
  
• Simona Bernardi, Andrea Bobbio, Susanna Donatelli:
  Petri Nets and Dependability. 125-179
  
• Eike Best, Maciej Koutny:
  Process Algebra: A Petri-Net-Oriented Tutorial. 180-209
  
• Jonathan Billington, Guy Edward Gallasch, Bing Han:
  A Coloured Petri Net Approach to Protocol Verification. 210-290
  
• Roberto Bruni, Hernán C. Melgratti, Ugo Montanari:
  Extending the Zero-Safe Approach to Coloured, Reconfigurable and Dynamic Nets. 291-327
  
• Nadia Busi, Roberto Gorrieri:
  A Survey on Non-interference with Petri Nets. 328-344
  
• Josep Carmona, Jordi Cortadella, Victor Khomenko, Alexandre Yakovlev:
  Synthesis of Asynchronous Hardware from Petri Nets. 345-401
  
• Søren Christensen, Jens Bæk Jørgensen:
  Teaching Coloured Petri Nets: Examples of Courses and Lessons Learned. 402-412
  
• Philippe Darondeau:
  Unbounded Petri Net Synthesis. 413-438
  
• Giovanni Denaro, Mauro Pezzè:
  Petri Nets and Software Engineering. 439-466
  
• Jörg Desel, Vesna Milijic, Christian Neumair:
  Model Validation in Controller Design. 467-495
  
• Hartmut Ehrig, Julia Padberg:
  Graph Grammars and Petri Net Transformations. 496-536
  
• Blaise Genest, Anca Muscholl, Doron Peled:
  Message Sequence Charts. 537-558
  
• Reiko Heckel, Hendrik Voigt:
  Model-Based Development of Executable Business Processes for Web Services. 559-584
  
• Gabriel Juhás, Robert Lorenz, Christian Neumair:
  Modelling and Control with Modules of Signal Nets. 585-625
  
• Lars Michael Kristensen, Jens Bæk Jørgensen, Kurt Jensen:
  Application of Coloured Petri Nets in System Development. 626-685
  
• Robin Milner:
  Bigraphs for Petri Nets. 686-701
  
• Mogens Nielsen, Frank D. Valencia:
  Notes on Timed Concurrent Constraint Programming. 702-741
  
• Laura Recalde, Manuel Silva, Joaquin Ezpeleta, Enrique Teruel:
  Petri Nets and Manufacturing Systems: An Examples-Driven Tour. 742-788
  
• Abhik Roychoudhury, P. S. Thiagarajan:
  Communicating Transaction Processes: An MSC-Based Model of Computation for Reactive Embedded Systems. 789-818
  
• Rüdiger Valk:
  Object Petri Nets: Using the Nets-within-Nets Paradigm. 819-848