Petri Nets B

13 papers

YearTitle / Authors
1998Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets, held in Dagstuhl, September 1996
Wolfgang Reisig, Grzegorz Rozenberg
1996Basic Linear Algebraic Techniques for Place or Transition Nets.
Jörg Desel
1996Decidability and Complexity of Petri Net Problems - An Introduction.
Javier Esparza
1996Distributed Versions of Linear Time Temporal Logic: A Trace Perspective.
P. S. Thiagarajan, Jesper G. Henriksen
1996Elementary Net Systems.
Grzegorz Rozenberg, Joost Engelfriet
1996Informal Introduction to Petri Nets.
Wolfgang Reisig, Grzegorz Rozenberg
1996Linear Algebraic and Linear Programming Techniques for the Analysis of Place or Transition Net Systems.
Manuel Silva Suárez, Enrique Teruel, José Manuel Colom
1996Petri Nets and Other Models of Concurrency.
Mogens Nielsen, Vladimiro Sassone
1996Petri Nets in Performance Analysis: An Introduction.
Marco Ajmone Marsan, Andrea Bobbio, Susanna Donatelli
1996Place or Transition Petri Nets.
Jörg Desel, Wolfgang Reisig
1996Principles of High-Level Net Theory.
Einar Smith
1996The State Explosion Problem.
Antti Valmari
1996Theory of Regions.
Éric Badouel, Philippe Darondeau