Modeling shared resources with generalized synchronization within a Petri net bottom-up approach

IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics

Volumn 26, Issue 4, 1996, Pages 653-659

  Ferrarini, Luca ^a   Trioni, Massimo ^a  

^a POLITECNICO DI MILANO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

CONTROL THEORY; FLEXIBLE MANUFACTURING SYSTEMS; MATHEMATICAL MODELS; SET THEORY; SYNCHRONIZATION; SYSTEMS ANALYSIS;

GENERALIZED SYNCHRONIZATION; PETRI NET BOTTOM UP APPROACH; REVERSIBILITY;

PETRI NETS;

EID: 0030214462     PISSN: 10834419     EISSN: None     Source Type: Journal    
DOI: 10.1109/3477.517041     Document Type: Article

References (15)

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, Feb. 1988.
2. M. Courvousier, R. Valette, J. M. Bigou, and P. Esteban, "A programmable logic controller based on a high level specification tool," Proc. ISCAS, 1985.
3. D. Crockett and A. Desrochers et al., "Implementing a Petri net controller for a machining workstation," in Proc. IEEE Conf. on Robotics and Automation, Raleigh, NC, pp. 1861-1867.
4. L. Ferrarini, "An incremental approach to logic controller design with Petri nets," IEEE Trans. Syst., Man, Cybern., vol. SMC-22, no. 3, pp. 461-473, 1992.
5. _, "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.
6. L. Ferrarini, A. Lecci, and M. Trioni, "Incremental design of logic controllers," Dipartimento di Elettronica e Informazione, Politecnico di Milano, Milano, Italy, Int. Rep. no. 93049.
7. L. Ferrarini, M. Narduzzi, and M. Tassan-Solet, "A new approach to modular liveness analysis conceived for large logic controllers' design," to be published on IEEE Trans. Robot. Automat. Apr. 1994 (special issue on Computer Integrated Manufacturing).
8. L. E. Holloway and B. Krogh, "On closed-loop liveness of discrete-event systems under maximally permissive control," IEEE Trans. Automat. Contr., vol. 37, no. 5, pp. 692-697, May 1992.
9. M. D. Jeng and F. DiCesare, "A synthesis method for Petri net modeling of automated manufacturing systems with shared resources," in Proc. 31st Conf. on Decision and Control, Tucson, AZ, 1992, pp. 1184-1189.
10. N. Komoda, T. Murata, and K. Matsumoto, "Petri-net based controller: SCR and its applications in factory automation," in Rensselaer's 2nd Conf. on CIM, Troy, NY, 1990, pp. 348-355.
11. B. H. Krogh and L. E. Holloway, "Synthesis of feedback control logic for discrete manufacturing systems," IFAC J. Automatica, vol. 27, no. 4, pp. 641-651, 1991.
12. C. Maffezzoni and L. Ferrarini, "Conceptual framework for the design of logic control," IEE J. Intell. Syst. Eng., Winter 1993, pp. 246-256.
13. T. Murata, "Petri nets: Properties, analysis, and applications," Proc. IEEE, vol. 77, no. 4, pp. 541-580, Apr. 1989.
14. W. Reisig, Petri Nets: An Introduction. Berlin:Springer Verlag, 1982.
15. 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, no. 3, pp. 350-361, 1992.