Title :
On macroplaces in Petri nets
Author :
Karatkevich, Andrei
Author_Institution :
Inst. of Comput. Eng. & Electron., Univ. of Zielona Gora, Zielona Góra, Poland
Abstract :
This article deals with hierarchical decomposition of Petri nets. The following question is considered: which conditions a subnet should satisfy to make possible its replacement by a macroplace? A general class of such subnets is defined. The theoretical results related to such kind of decomposition are presented. Application of the decomposition to verification of systems, which are specified by means of Petri nets, is considered.
Keywords :
Petri nets; formal specification; formal verification; Petri nets; hierarchical decomposition; macroplaces; systems verification; Computational modeling; Conferences; Control systems; Firing; Petri nets; Software; System recovery; Petri nets; analysis; decomposition; hierarchy; macroplaces;
Conference_Titel :
Design & Test Symposium (EWDTS), 2008 East-West
Conference_Location :
Lviv
Print_ISBN :
978-1-4244-3402-2
Electronic_ISBN :
978-1-4244-3403-9
DOI :
10.1109/EWDTS.2008.5580151
