Reduction and synthesis of live and bounded free choice petri nets

Publikation: Beitrag in FachzeitschriftArtikelBegutachtung

38 Zitate (Scopus)

Abstract

This paper provides reduction rules that make it possible to reduce all and only live and bounded Free Choice Petri nets to a circuit containing one place and one transition. The reduction algorithm is shown to require polynomial time in the size of the system. The reduction rules can be transformed into synthesis rules, which can be used for the stepwise construction of large systems.

OriginalspracheEnglisch
Seiten (von - bis)50-87
Seitenumfang38
FachzeitschriftInformation and Computation
Jahrgang114
Ausgabenummer1
DOIs
PublikationsstatusVeröffentlicht - Okt. 1994
Extern publiziertJa

Fingerprint

Untersuchen Sie die Forschungsthemen von „Reduction and synthesis of live and bounded free choice petri nets“. Zusammen bilden sie einen einzigartigen Fingerprint.

Dieses zitieren