Petri Net Process Decomposition with Application to Validation

6th Workshop AWPN-99

计算机科学;社会科学（总论）

F.L. Ţiplea ; J. Desel

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

来源: CEUR

【 摘 要 】

The aim of this paper is to show how any process of a Petri net which is a composition of two nets can be decomposed in processes of the component nets, and vice versa. Therefore, we introduce 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 Petri net. Finally, a methodology for validation of Petri net models based on process decomposition, is proposed.