2>
« back to results for ""
Below is a cache of http://www.cs.unc.edu/~montek/teaching/spring-03/petrinets.ppt. It's a snapshot of the page taken as our search engine crawled the Web.
The web site itself may have changed. You can check the current page or check for previous versions at the Internet Archive. Yahoo! is not affiliated with the authors of this page or responsible for its content.

Petri Nets: Properties, Analysis and Applications

Gabriel Eirea

UC Berkeley

10/8/02

Based on paper by T. Murata

Outline

Introduction/History
Transition enabling & firing
Modeling examples
Behavioral properties
Analysis methods
Liveness, safeness & reachability
Analysis & synthesis of Marked Graphs
Structural properties
Modified Petri Nets

Introduction

Petri Nets

concurrent, asynchronous, distributed, parallel, nondeterministic
and/or stochastic systems
graphical tool

visual communication aid

mathematical tool

state equations, algebraic
equations, etc

communication between theoreticians and practitioners

History

1962:
C.A. Petris dissertation (U. Darmstadt, W. Germany)
1970:
Project MAC Conf. on Concurrent Systems and Parallel Computation (MIT,
USA)
1975:
Conf. on Petri Nets and related Methods (MIT, USA)
1979:
Course on General Net Theory of Processes and Systems (Hamburg, W. Germany)
1980:
First European Workshop on Applications and Theory of Petri Nets (Strasbourg,
France)