Systematic construction of functional abstractions of Petri net models of typical components of flexible manufacturing systems

Proceedings of the 4th International Workshop on Petri Nets and Performance Models, PNPM 1991

Volumn , Issue , 1991, Pages 248-257

  Zurawski, R Z ^a   Dillon, T S ^b  

^a SWINBURNE UNIVERSITY OF TECHNOLOGY   (Australia)

^b LA TROBE UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; FLEXIBLE MANUFACTURING SYSTEMS;

FUNCTIONAL ABSTRACTIONS; GENERIC MODELS; MODELLING AND ANALYSIS; PETRI NET MODELS; VERIFICATION MODEL;

PETRI NETS;

EID: 0010844103     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/PNPM.1991.238795     Document Type: Conference Paper

References (19)

1. Narahari Y., Viswanadham N., "A Petri Net Approach to the Modelling and Analysis of Flexible Manufacturing Systems", Annals of Operations Research vol. 3, pp 449-472, 1985.
2. Narahari Y., Viswandham N., "A Petri Net Based Investigation of Deadlocks in Automated Manufacturing Systems", CAD/CAM/CAE for Industrial Progress, Ed. V.Rajaraman, Elsvier Science Publishers, North-Holland, pp. 119-131, 1986.
3. Krogh B., Beck C., "Synthesis of Place Transition Nets for Simulation and Control of Manufacturing Systems", Proc. IFAC Large Scale Systems: Theory and Applications, pp. 583-588, 1986.
4. Valette R., Courvoisier M., Demmou H., Bigou J., Desclaux C., "Putting Petri Nets to Work for Controlling Flexible Manufacturing Systems", Proc. ISCAS 85, pp. 929-932, 1985.
5. Suzuki I., Murata T., "Stepwise Refinement of Transitions and Places", Informatik-Fachberichte 52: Application and Theory of Petri Nets, Eds. C. Giraut, W Reisig, pp. 136-141, Springer-Verlag, 1982.
6. Suzuki I., Murata T., "A Method for Stepwise Refinement and Abstractions of Petri Nets", J. Comp. Sys. Science, vol. 27, no. 1, pp. 51-76, Aug. 1983.
7. Berthelot G., "Checking Properties of Nets Using Transformations", Advances in Petri Nets 85, Ed. G. Rozenberg, Lecture Notes in Computer Science 222, Springer-Verlag, pp.19-40, 1986.
8. Lee K.H., Favrel J., "Hierarchical Reduction Method for Analysis and Decomposition of Petri Nets", IEEE Trans, on Systems, Man and Cybernetics, vol. SCM-15, no. 2, pp. 272-281, Mar/Apr. 1985.
9. Lee K.H., Favrel J., Baptiste P., "Generalized Petri Net Reduction Method", IEEE Trans, on Systems, Man and Cybernetics, vol. SCM-17, no. 2, pp. 297-303, Mar/Apr. 1987.
10. Lee K.H., Favrel J., Oh J., "Hierarchical Decomposition of Petri Net Languages", IEEE Trans, on Systems, Man and Cybernetics, vol. SCM-17, no. 5, pp. 877-878, Sep/Oct. 1987.
11. Zhou M.C., DiCesare F Desrochers A., "A Topdown Approach to systematic synthesis of Petri Net Models for Manufacturing Systems", Proc. IEEE Int. Conf. on Robotics and Automation, pp. 534-539, 1989.
12. Zurawski R., Dillon T., "Specification, Verification and Performance Evaluation of Flexible Manufacturing Systems", Computer Applications in Production and Engineering, Eds. F. Kimura, A. Rolstadas, pp. 517-525, Elsevier Scientific Publishers, North-Holland, 1989.
13. Baldassari M., Bruno G., "PROTOB Object- Oriented Graphical Modelling and Programming Based on PROT Nets", Proc. 9th Inter. Conf. on Application and Theory of Petri Nets, pp. 333-341, 1988.
14. Hollinger D., Bel G., "An object-Oriented Approach for CIM Systems Specification and Simulation", Computer Applications in Production and Engineering, Ed. Bo K., pp. 445-460, Elsevier Science Publishers, North-Holland, 1987.
15. Zurawski R., Dillon T., "Application of Functional Abstractions to Verification of Flexible Manufacturing Systems Modelled using Petri Nets", Proc. IECON'90, Asilomar, pp. 471-475, November 27-30, 1990.
16. Al-Jaar R., Desrochers A., "Performance Evaluation of Automated Manufacturing Systems using Stochastic Petri Nets", IEEE Trans. Robotics and Automation, vol. 6, no. 6, pp. 621-639, Dec. 1990.
17. Suzuki I., Lu H., "Temporal Petri Nets and their Application to Modelling and Analysis of a Handshake Daisy Chain Arbiter", IEEE Trans. Comp., vol. 38, no. 5, pp. 696-704, May 1989.
18. Suzuki I., "Formal Analysis of the Alternating Bit Protocol by Temporal Petri Nets " IEEE Trans. Soft. Eng., vol. 16, no. 11, pp.1273-1281, Nov. 1990.
19. Chiola G., GreatSPN User's Manual, Version 1.3, Dipartimento di Informatica, Universita degli Studi di Torino, September 1987.