Lectures on Petri Nets II: Applications, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets, held in Dagstuhl, September 1996 - researchr publication

researchr

You are not signed in
Sign in
Sign up

Wolfgang Reisig, Grzegorz Rozenberg, editors, Lectures on Petri Nets II: Applications, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets, held in Dagstuhl, September 1996. Volume 1492 of Lecture Notes in Computer Science, Springer, 1998.

Conference: ac

Abstract is missing.

Petri Nets, Process Algebras and Concurrent Programming LanguagesEike Best, Raymond R. Devillers, Maciej Koutny. 1-84

Petri Nets and Production SystemsManuel Silva, Enrique Teruel, Robert Valette, Hervé Pingaud. 85-124

Computer Supported Cooperative Work and Petri NetsGiorgio De Michelis, Clarence A. Ellis. 125-153

An Introduction to the Practical Use of Coloured Petri NetsKurt Jensen. 237-292

Protocol Specification Using P-Graphs, a Technique Based on Coloured Petri NetsJonathan Billington. 293-330

Distributed Algorithms for Networks of AgentsWolfgang Reisig, Ekkart Kindler, Tobias Vesper, Hagen Völzer, Rolf Walter. 331-385

Efficient Performance Analysis Techniques for Stochastic Well-Formed Nets and Stochastic Process AlgebrasGiuliana Franceschinis, Marina Ribaudo. 386-437

Modelling and Analysis of Distributed Software Using GSPNsSusanna Donatelli, Giuliana Franceschinis. 438-476

runs on WebDSL