search
search
reviewers
reviewers
feeds
feeds
assignments
assignments

settings
logout

Lectures on Concurrency and Petri Nets

Keyphrases

Publications

volume 3098, 2004

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ätt, Germany in September 2003. In addition to lectures given at ACPN 2003, additional chapters have been commissioned] Lectures on Concurrency and Petri Nets 3098 (2004)

2003

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