Conferences in DBLP

Advanced Courses (ac)
1996 (conf/ac/1996petri1)

1. Wolfgang Reisig, Grzegorz Rozenberg
   Informal Introduction to Petri Nets. [Citation Graph (0, 0)][DBLP]
   Petri Nets, 1996, pp:1-11 [Conf]
   
2. Grzegorz Rozenberg, Joost Engelfriet
   Elementary Net Systems. [Citation Graph (0, 0)][DBLP]
   Petri Nets, 1996, pp:12-121 [Conf]
   
3. Jörg Desel, Wolfgang Reisig
   Place or Transition Petri Nets. [Citation Graph (0, 0)][DBLP]
   Petri Nets, 1996, pp:122-173 [Conf]
   
4. Einar Smith
   Principles of High-Level Net Theory. [Citation Graph (0, 0)][DBLP]
   Petri Nets, 1996, pp:174-210 [Conf]
   
5. Marco Ajmone Marsan, Andrea Bobbio, Susanna Donatelli
   Petri Nets in Performance Analysis: An Introduction. [Citation Graph (0, 0)][DBLP]
   Petri Nets, 1996, pp:211-256 [Conf]
   
6. Jörg Desel
   Basic Linear Algebraic Techniques for Place or Transition Nets. [Citation Graph (0, 0)][DBLP]
   Petri Nets, 1996, pp:257-308 [Conf]
   
7. Manuel Silva, Enrique Teruel, José Manuel Colom
   Linear Algebraic and Linear Programming Techniques for the Analysis of Place or Transition Net Systems. [Citation Graph (0, 0)][DBLP]
   Petri Nets, 1996, pp:309-373 [Conf]
   
8. Javier Esparza
   Decidability and Complexity of Petri Net Problems - An Introduction. [Citation Graph (0, 0)][DBLP]
   Petri Nets, 1996, pp:374-428 [Conf]
   
9. Antti Valmari
   The State Explosion Problem. [Citation Graph (0, 0)][DBLP]
   Petri Nets, 1996, pp:429-528 [Conf]
   
10. Eric Badouel, Philippe Darondeau
    Theory of Regions. [Citation Graph (0, 0)][DBLP]
    Petri Nets, 1996, pp:529-586 [Conf]
    
11. Mogens Nielsen, Vladimiro Sassone
    Petri Nets and Other Models of Concurrency. [Citation Graph (0, 0)][DBLP]
    Petri Nets, 1996, pp:587-642 [Conf]
    
12. P. S. Thiagarajan, Jesper G. Henriksen
    Distributed Versions of Linear Time Temporal Logic: A Trace Perspective. [Citation Graph (0, 0)][DBLP]
    Petri Nets, 1996, pp:643-681 [Conf]