Place/Transition Petri Net Evolutions: Recording Ways, Analysis and Synthesis

• Autorzy: Czaja L.
• Języki publikacji: EN

Abstrakty

EN

Four semantic domains for Place/Transition Petri nets and their relationships are considered. They are monoids of respectively: firing sequences, processes, traces and dependence graphs. For each of them the analysis and synthesis problem is stated and solved. The monoid of processes is defined in a non-standard way. Nets under consideration involve weights of arrows and capacities (finite or infinite) of places. However, the analysis and synthesis tasks require nets to be pure, i.e. each of their transition must have the pre-set and post-set disjoint.

Słowa kluczowe

EN

place/transition Petri net; process; trace; dependence graphs; analysis; synthesis

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2002
• Tom: Vol. 51, nr 1,2
• Strony: 43--58
• Opis fizyczny: bibliogr. 13 poz.

Twórcy

autor

Czaja L.

• Institute of Informatics Warsaw University ul. Banacha 2 02-097 Warsaw, Poland,