Petri Net Process Decomposition with Application to Validation

Annual Linux Symposium 2006

F.L. T iplea ; J. Desel

Others  :  http://CEUR-WS.org/Vol-26/desel.pdf
PID  :  972

来源: CEUR

【 摘 要 】

The aim of this paper is to show how any process of a Petri net which is a composition oftwo nets can be decomposed in processes of the component nets, and vice versa. Therefore, weintroduce the concept of a process sample of a net with respect to a subnet and we claim that,under some requirements, jumping nets are suitable to generate all the process samples of a net.Then we give sucient conditions under which a jumping Petri net can be simulated by a Petrinet. Finally, a methodology for validation of Petri net models based on process decomposition,is proposed.