Modeling complex system using T-subnet based hierarchical Petri nets

Journal of Computers

Volumn 4, Issue 9, 2009, Pages 829-836

  Wang, Zhijian ^a   Wei, Dingguo ^a  

^a GUANGDONG UNIVERSITY OF BUSINESS STUDIES   (China)

Author keywords

Interface; Loopback; Petri nets; Subnet; Transition

Indexed keywords

INTERFACES (MATERIALS); MANUFACTURE;

COMPRESSION TECHNOLOGIES; HIERARCHICAL PETRI NETS; LOOPBACK; MODEL COMPLEXES; STANDARDIZED INTERFACES; STATE EXPLOSION; SUBNET; TRANSITION;

PETRI NETS;

EID: 77950207114     PISSN: 1796203X     EISSN: None     Source Type: Journal    
DOI: 10.4304/jcp.4.9.829-836     Document Type: Article

References (12)

1. T. Murata, "Petri Nets: Properties, Analysis and Applications", Proceedings of the IEEE, 1989, vol. 77(4), pp. 541-580.
2. J. H. Noguera, E. F. Watson, "Analyzing Throughput and Capacity of Multiproduct Batch Processes", Journal of Manufacturing Systems,2004, vol. 23(3), pp. 215-228.
3. J. Padberg, "Safety Properties in Petri Net Modules", Journal of Integrated Design & Process Science, 2004, vol. 8(4), pp. 65 - 78.
4. 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(3), pp.245-269.
5. V. Khomenko, K. Alex, K. Maciej, "Merged processes: a new condensed representation of Petri net behaviour", Acta Informatica, 2006, vol.43(5), pp.307-330.
6. K. H. Lee, J. Fabrel, "Hierarchical reduction method for analysis and decomposition of Petri Nets", IEEE TRANS. SYST. MAN. CYBER, 1985, SMC-15(2), pp. 272-280.
7. M. Tittus, B. Lennartson, "Hierarchical supervisory control for batch processes", IEEE Trans. on Control Systems Technology, 1999, vol.7 (5), pp. 542-554.
8. 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.
9. C. L. XIA, L. JIAO, W. M. LU, "Petri Net Refinement and Its Application in System Design", Journal of Software, 2006, vol.17(1), pp.11-19 (in Chinese).
10. J. Padberg, M. Gajewsky, C. Ermel, "Rule-Based refinement of high-level nets preserving safety properties", Science of Computer Programming, 2001, vol.40, pp.97-118.
11. C. Y. Yuan, Petri Nets Theory and Application, Beijing: Publishing House of Electronic Industry,2005.
12. C. Girault, R. Valk, Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications, Berlin: Springer-Verlag, 2002.