CIM-OSA and stochastic time petri nets for behavioural modelling and model handling in CIM systems design and building

Proceedings of the Institution of Mechanical Engineers, Part B: Journal of Engineering Manufacture

Volumn 207, Issue 3, 1993, Pages 147-158

  Aguiar, M W C ^a   Weston, R H ^a  

^a LOUGHBOROUGH UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

MODELS; PETRI NETS; SIMULATION; SYSTEMS ANALYSIS;

BEHAVIOURAL MODELLING; INTEGRATED MANUFACTURING SYSTEMS; OPEN SYSTEMS ARCHITECTURE; STOCHASTIC TIME; SYSTEMS DESIGN AND BUILDING PROCESS;

COMPUTER INTEGRATED MANUFACTURING;

EID: 0027166517     PISSN: 09544054     EISSN: 20411975     Source Type: Journal    
DOI: 10.1243/PIME_PROC_1993_207_075_02     Document Type: Article

References (15)

1. ESPRIT/AMICE. CIM-OSA architecture description, AD 1.0, 1991 (Springer-Verlag, Berlin).
2. Petri C., Speyer B. K. Proceedings of the International Conference on Enterprise integration modelling technoloogy, 1992 (MCC, USA)
3. Richard Weston H. Building wider scope integrated manufacturing systems. Ann. CIRP, 1992, 41(1), 521–525.
4. Alderson A. Meta-CASE technology. Lecture notes in computer science, software, development, environment and CASE technology. In Proceedings of European Symposium, 1991, pp. 81–91 (Springer-Verlag, Berlin).
5. Aguiar M. W. C. Study on reference architectures for CIM systems design and building based on executable models. Master of philosophy report, Loughborough University of Technology, 1992.
6. LCMI (Laboratório de Controle e Microinformática). ARP (Petri Net Analyser)—user manual. Federal University of Santa Catarina, Brazil, 1989.
7. Aguiar M. W. C. Case study on the application of the CIM-OSA methodology for manufacturing process modelling. In Proceedings of the European Simulation Symposium, 1992 (Society for Computer Simulation International, Germany).
8. Peterson J. L. Petri net theory and the modelling of systems, 1981 (Prentice-Hall, Englewood Cliffs, N.J.).
9. Juanole G. On the pertinence of the extended time Petri net model for analysing communication activities. Proceedings of the Third International Workshop on Petri nets and performance models/PNPM ‘89, 1989 (IEEE Press, Japan).
10. Boucher T. O., Jafari M. A. The design of a Petri net controller from an IDEFO specification. Proceedings of the Conference on Factory automation and information management—FAIM/90, 1990 (CRC Press, Ireland).
11. META Software Corporation. DESIGN/CPN—a tool package supporting the use of coloured Petri nets. Internal report, 1989.
12. META Software Corporation. Design/IDEF user's manual, 1990.
13. Biemans F., Blonk P. On the formal specification and verification of CIM architectures using LOTOS. Computers in Industry, 1986, 6(6), 491–504.
14. Garnousset H. E. Simulation and implementation tools for manufacturing systems modelled by Petri net with objects. Proceedings of CIM ‘90, 1990 (IFIP, France).
15. Bonney M. C. UNISON—a tool for enterprise integration. Internal report, Department of Manufacturing and Management, Nottingham University, 1992.