DocumentCode
3352774
Title
Subnet Abstract and Transition Refinement in Petri Nets Model
Author
Wang, Zhijian ; Wei, Dingguo
Author_Institution
Inf. Sci. Sch., Guangdong Univ. of Bus. Studies, Guanzhou, China
Volume
2
fYear
2009
fDate
28-30 Oct. 2009
Firstpage
418
Lastpage
421
Abstract
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.
Keywords
Petri nets; systems analysis; Petri nets model; engineering subnet; subnet abstract; transition refinement; Analytical models; Computer science; Design methodology; Explosions; Information science; Object oriented modeling; Petri nets; Safety; Software engineering; System recovery; Petri nets; abstraction; refinement; subnet; transition;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Science and Engineering, 2009. WCSE '09. Second International Workshop on
Conference_Location
Qingdao
Print_ISBN
978-0-7695-3881-5
Type
conf
DOI
10.1109/WCSE.2009.843
Filename
5403330
Link To Document