Cover Image
Read Now

Lectures on Petri Nets I: Basic Models Advances in Petri Nets

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

Bibliographic Details
Other Authors: Reisig, Wolfgang (Editor), Rozenberg, Grzegorz (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 1998, 1998
Edition:1st ed. 1998
Series:Lecture Notes in Computer Science
Subjects:
Computer Communication Networks
Software Engineering
Computer Science
Applied Dynamical Systems
Computer Networks 
It In Business
Nonlinear Theories
Theory Of Computation
Business Information Services
Dynamics
Online Access:
Collection: Springer Book Archives -2004 - Collection details see MPG.ReNa
Table of Contents:
  • Informal introduction to petri nets
  • Elementary net systems
  • Place/transition Petri Nets
  • Principles of high-level net theory
  • Petri nets in performance analysis: An introduction
  • Basic linear algebraic techniques for place/transition nets
  • Linear algebraic and linear programming techniques for the analysis of place/transition net systems
  • Decidability and complexity of Petri net problems — An introduction
  • The state explosion problem
  • Theory of regions
  • Petri nets and other models of concurrency
  • Distributed versions of linear time temporal logic: A trace perspective

Similar Items