Lectures on Petri Nets II: Applications Advances in Petri Nets

Lectures on Petri Nets II: Applications Advances in Petri Nets / edited by Wolfgang Reisig, Grzegorz Rozenberg.

The two-volume set originates from the Advanced Course on Petri Nets held in Dagstuhl, Germany in September 1996; beyond the lectures given there, additional chapters have been commissioned to give a well-balanced presentation of the state of the art in the area. Together with its companion volume &...

Full description

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Reisig, Wolfgang (Editor), Rozenberg, Grzegorz (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998.
Edition:1st ed. 1998.
Series:Lecture Notes in Computer Science, 1492
Springer eBook Collection.
Subjects:
Computers.
Software engineering.
Computer communication systems.
Information technology.
Business—Data processing.
Computational complexity.
Electronic resources (E-books)
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Table of Contents:
  • Petri nets, process algebras and concurrent programming languages
  • Petri nets and production systems
  • Computer Supported Cooperative Work and Petri Nets
  • Petri nets and digital hardware design
  • An introduction to the practical use of coloured Petri Nets
  • Protocol specification using P-graphs, a technique based on coloured Petri Nets
  • Distributed algorithms for networks of agents
  • Efficient performance analysis techniques for stochastic well-formed nets and stochastic process algebras
  • Modelling and analysis of distributed software using GSPNs.

Similar Items