Subnet abstract and transition refinement in Petri nets model

2nd International Workshop on Computer Science and Engineering, WCSE 2009

Volumn 2, Issue , 2009, Pages 418-421

  Wang, Zhijian ^a   Wei, Dingguo ^a  

^a GUANGDONG UNIVERSITY OF BUSINESS STUDIES   (China)

Author keywords

Abstraction; Petri nets; Refinement; Subnet; Transition

Indexed keywords

ABSTRACTION; BOUNDEDNESS; DEADLOCK FREE;

COMPUTER SCIENCE; GRAPH THEORY; PETRI NETS;

ABSTRACTING;

EID: 77950281905     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WCSE.2009.843     Document Type: Conference Paper

References (9)

1. K.Jensen, Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, New York: Springer-Verlag, 2nd edition, 1997.
2. H.Jungnitz, A.A.Desrochers, "Flow equivalent nets for the performance analysis of flexible manufacturing systems". Proc IEEE Robotics and Automation Conference, 1991, pp.122-127.
3. J.Padberg, "Petri net modules". Journal of Integrated Design and Process Science, 2002, vol.6(4), pp. 105-120.
4. Z.J. Wang, D.G. Wei, "Modeling Complex System Using T-subnet based Hierarchical Petri Nets", Journal of Computers, 2009, vol.4(9) pp.:829-836.
5. H.Huang, T.Y.Cheung, W.M.Mak, "Structure and behavior preservation by Petri-net-based refinements in system design". Theoretical Computer Science, 2004, vol.328, pp. 245-269.
6. J.J.Zhang, Z.H.Wu, "Hierarchial Recursive Model of Petri Net", Journal of System Simulation, 2003, Vol.15(z1), pp. 89-92.
7. J.M.Proth, L.Wang,X.Xie "A Class of Petri Nets for Manufacturing System Integration", IEEE Transactions on Robotics and Automation, 1997,Vol.13(3), PP.317-326.
8. C.L.Xia,L.Jiao,W.M.Lu, "Petri Net Refinement and Its Application in System Design". Journal of Software , 2006, Volo.17(1), pp.11-20.
9. C. Girault, R. Valk, Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications, Berlin: Springer-Verlag, 2002.