Behavior relations in synthesis process of Petri net models

IEEE Transactions on Robotics and Automation

Volumn 16, Issue 4, 2000, Pages 400-407

  Wang, Huaiqing ^a   Jiang, Changjun ^a   Liao, Shaoyi ^a  

^a CITY UNIVERSITY OF HONG KONG   (Hong Kong)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; COMPUTER SIMULATION; CONTROL SYSTEM ANALYSIS; CONVEYORS; INVARIANCE; MATHEMATICAL MODELS; PETRI NETS; SYNCHRONIZATION; THEOREM PROVING;

BEHAVIOR INVARIANCE; ELEMENTARY CONTROL TASK; SELF LOOP OPERATIONS;

CONTROL SYSTEM SYNTHESIS;

EID: 0034249125     PISSN: 1042296X     EISSN: None     Source Type: Journal    
DOI: 10.1109/70.864234     Document Type: Article

References (16)

1. K. P. Brand and J. Kopainski, "Principles and engineering process control with Petri nets," IEEE Trans. Automat. Contr., vol. 33, no. 2, pp. 138-149, 1988.
2. Y. Narahari and N. Viswanadham, "A Petri net approach to the modeling and analysis of flexible manufacturing systems," Ann. Oper. Res., vol. 3, pp. 449-472, 1985.
3. K. S. Valvanis, "On the hierarchical analysis and simulation of flexible manufacturing system with extended Petri nets," IEEE Trans. Syst., Man, Cybern., vol. 20, no. 1, pp. 94-100, 1990.
4. I. Suzuki and T. Murata, "A method for stepwise refinements and abstractions of Petri nets," J. Comput. Syst. Sci., vol. 27, pp. 51-76, 1983.
5. L. Ferrarini, "An incremental approach to logical controller design with Petri nets," IEEE Trans. Syst., Man, Cybern., vol. 22, no. 3, pp. 461-473, 1992.
6. _, "On the reachability and reversibility problem in a class of Petri nets," IEEE Trans. Syst., Man, Cybern., vol. 24, no. 10, pp. 1474-1482, 1994.
7. L. Ferrarini, M. Narduzzi, and M. T. Solet, "A new approach to modular liveness analysis conceived for large logic controllers' design," IEEE Trans. Robot. Automat., vol. 10, pp. 169-184, Apr. 1994.
8. L. Ferrarini and M. Trioni, "Modeling shared resources with generalized synchronization within a Petri net bottom-up approach," IEEE Trans. Syst., Man, Cybern., vol. 26, no. 4, pp. 653-659, 1996.
9. M. D. Jun and F. Di Cesare, "Synthesis using resource control nets for modeling share-resource systems," IEEE Trans. Robot. Automat., vol. 11, no. 3, pp. 317-327, 1995.
10. M. D. Jun, "A Petri net synthesis theory for modeling flexible manufacturing systems," IEEE Trans. Syst., Man, Cybern., vol. 27, no. 2, pp. 169-183, 1997.
11. D. Y. Chao, M. C. Zhou, and D. T. Wang, "Extending knitting technique to Petri net synthesis of automated manufacturing systems," Comput. J., vol. 37, no. 1, pp. 67-76, 1994.
12. B. H. Krogh and L. E. Holloway, "Synthesis of feedback control logic for discrete manufacturing systems," Automatica, vol. 27, no. 4, pp. 641-651, 1991.
13. M. C. Zhou and F. DiCesare, "Parallel and sequential mutual exclusions for Petri net models," IEEE Trans. Robot. Automat., vol. 6, pp. 515-527, Apr. 1990.
14. M. C. Zhou, F. DiCesare, and A. Desrochers, "Hybrid methodology for synthesis of Petri nets models for manufacturing systems," IEEE Trans. Robot. Automat., vol. 8, pp. 350-361, June 1992.
15. M. Notomi and T. Murata, "Hierarchical reachability graph of bounded Petri nets for concurrent-software analysis," IEEE Trans. Software Eng., vol. 20, no. 5, pp. 325-336, 1994.
16. A. Valmari, "Compositional State Space Generation," in Lecture Notes in Computer Science. New York: Springer-Verlag, 1993, vol. 674, pp. 527-457.