Behavior description for complex flexible manufacturing system based on decomposition of petri net

Computer Systems Science and Engineering

Volumn 22, Issue 6, 2007, Pages 359-363

  Zeng, Qingtian ^a   Duan, Hua ^a  

^a SHANDONG UNIVERSITY OF SCIENCE AND TECHNOLOGY   (China)

Author keywords

Behavior description; Decomposition; Flexible manufacture system; Petri net; Petri net language; Synchronization shuffle

Indexed keywords

COMPUTER SYSTEM RECOVERY; DISCRETE EVENT SIMULATION; FORMAL LANGUAGES; PETRI NETS; SYNCHRONIZATION;

BEHAVIOR DESCRIPTION; PETRI NET LANGUAGE; SYNCHRONIZATION SHUFFLE;

FLEXIBLE MANUFACTURING SYSTEMS;

EID: 38949192844     PISSN: 02676192     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (13)

1. J. Peterson (1981). Petri net theory and the modeling of systems, Prentice-Hall, Inc. Englewood Cliffs, N.J., 1981.
2. T. Murata (1989), Petri Nets: properties, analysis and applications. Proceeding of the IEEE, 77(4) 541-580.
3. W. Reisig (1985), Petri nets- An Introduction; Springer Verlag, 1985.
4. M. Zhou, DiCesare, Frank; Desrochers, A.A (1989). A top-down modular approach to synthesis of Petri net models for manufacturing systems. In: Proceeding of IEEE International Conference Robotics and Automation, Scottsdale, AZ, May 1989, 534-539.
5. M. Zhou, K. McDermott, P. Patel (1993), Petri net synthesis and analysis of a flexible manufacturing system cell, IEEE Transactions on Systems, Man, and Cybernetics, 23(2) 523-531.
6. R. Z. Zurawski, Tharam S. Dillon (1991), Systematic construction of functional abstractions of Petri net models of typical components of flexible manufacturing systems. In: Proc. 4th Int. Workshop on Petri Nets and Performance Models (PNPM'91), Melbourne, Australia, pages 248-257. IEEE Comp. Soc. Press, December 1991.
7. B. Besombes, P. Ladet (1990), SAGASSE - An expert system based simulator for flexible manufacturing systems, In: CIRP/IFIP/IFORS Workshop, 1989, Genova, Italy / Villa, A.; et al.: IFAC Workshop Series, Vol. 3; Decisional Structures in Automated Manufacturing. Proceedings of the IFAC, pages 31-36. Oxford: Pergamon Press, 1990.
8. K. Hyunglee (1987). Generalized Petri net reduction method. IEEE Transaction on Systems, Man and Cybernetics, 17(2) 297-303.
9. I. Suzuki, T Murata (1983), A method for stepwise refinement and abstraction of Petri nets. Journal of Computer and System Sciences, 27(1)51-76.
10. Q.T. Zeng (2004). Behavior descriptions of structure-complex Petri nets based on synchronous composition. Journal of Software, 15(3) 327-337.
11. V.K.Garg, M.T.Ragunath (1992), Concurrent regular expressions and their relationship to Petri nets, Theoretical Computer Science, 96(2) 258-304.
12. M. Latteux, Y. Roos (1999), Synchronized shuffle and regular Languages, In Juhani Karhumäki, Hermann A. Maurer, Gheorghe Paun, Grzegorz Rozenberg (Eds.): Jewels are Forever, Contributions on Theoretical Computer Science in Honor of Arto Salomaa. Springer 1999, ISBN 3-540-65984-6: 35-44.
13. C.J. Jiang, W.M. Lu (2000), On properties of concurrent system based on Petri net language, Journal of Software, 12(4) 512-520.