Abstract
Petri nets and other labelled graphs have been widely used to model real systems and events. In order to make the application practicable, a hierarchical representation which suppresses unnecessary information is essential. Hence, techniques for expanding and reducing Petri nets are needed. This paper discusses the reduction of live and bounded Petri nets which possess the properties of consistency and invariancy.
| Original language | English (US) |
|---|---|
| Pages | 616-625 |
| Number of pages | 10 |
| State | Published - 1976 |
| Externally published | Yes |
| Event | Proc Annu Allerton Conf Circuit Syst Theory 14th - Monticello, IL, USA Duration: Sep 29 1976 → Oct 1 1976 |
Conference
| Conference | Proc Annu Allerton Conf Circuit Syst Theory 14th |
|---|---|
| City | Monticello, IL, USA |
| Period | 9/29/76 → 10/1/76 |