Subnet Abstract and Transition Refinement in Petri Nets Model

摘要

Subnet abstraction and transition refinement base a kind of transition subnet - the engineering subnet, are presented in this paper; the research shows that, under certain preconditions, important prosperities such as boundedness, safety, deadlock free and reversibility are reserved in such transformations. The paper also shows that after the transformation a model can keep the same interfaces and similar actions as before by using engineering subnet method.