A new class of a high-level Petri net for modelling logical OR efficiently: Coloured AND/OR Petri nets (CARPN)

International Journal of Production Research

Volumn 38, Issue 18, 2000, Pages 4671-4682

  Salum, Latif ^a  

^a DOKUZ EYLUL UNIVERSITY   (Turkey)

Author keywords

[No Author keywords available]

Indexed keywords

ASSEMBLY MACHINES; GRAPH THEORY; LOGIC GATES; MATHEMATICAL MODELS; MATRIX ALGEBRA;

INCIDENCE MATRIX;

PRODUCTION ENGINEERING;

EID: 0034672913     PISSN: 00207543     EISSN: None     Source Type: Journal    
DOI: 10.1080/00207540050205578     Document Type: Article

References (14)

1. Genrich, H.J., 1987, Predicate/transition nets. In Advances in Petri Nets 1986 (Part I). Petri Nets: Central Models and their Properties, Lecture Notes in Computer Science, Vol. 254, edited by W. Brauer, W. Reisig and G. Rozenberg (Berlin: Springer), pp. 207-247.
2. Homem De Mello, L.S. and Sanderson, A.C., 1990, AND/OR graph representation of assembly plans. IEEE Transactions on Robotics and Automation, 6, 188-199.
3. Jensen, K., 1987, Coloured petri nets. In Advances in Petri Nets 1986 (Part I). Petri Nets: Central Models and their Properties, Lecture Notes in Computer Science, Vol. 254, edited by W. Brauer, W. Reisig and G. Rozenberg (Berlin: Springer), pp. 248-299.
4. Jensen, K., 1996, Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, Vol. 1, 2nd edition (Berlin: Springer).
5. Martinez, J. and Silva, M., 1982, A simple and fast algorithm to obtain all invariants of a generalised petri net. In Application and Theory of Petri Nets, Vol. 52, edited by C. Girault and W. Reisig (Berlin: Springer), pp. 301-310.
6. Moore, K.E. and Gupta, S.M., 1996, Petri net models of flexible and automated manufacturing systems: a survey. International Journal of Production Research, 34, 3001-3035.
7. Murata, T., 1989, Petri nets: properties, analysis and applications. Proceedings of the IEEE, 77, 541-580.
8. Noe, J.D., 1980, Nets in modelling and simulation. In Net Theory and Applications, Lecture Notes in Computer Science, Vol. 84, edited by W. Brauer (Berlin: Springer), pp. 347-368.
9. Salum, L., 1999, Improvements in manufacturing cell design based on new classes of high level petri nets. Unpublished PhD dissertation, Cranfield University, UK.
10. Salum, L. and Gao, J., 1996, An algorithm to find a sufficient condition for the state equation of petri nets. In Proceedings of the 12th International Conference on CAD/CAM Robotics and Factories of the Future, London, pp. 704-709.
11. Shih, H.M. and Leung, C.K.H., 1997, Management petri net - a modelling tool for management systems. International Journal of Production Research, 35, 1665-1680.
12. Venkatesh, K., Zhou, M.C. and Caudill, R.J., 1994, Evaluating the complexity of petri nets and ladder logic diagrams for sequence controllers design in flexible automation. In 1994 IEEE Symposium on Emerging Technologies & Factory Automation, pp. 428-435.
13. Venkatesh, K., Zhou, M.C. and Caudill, R., 1995, Discrete event control design for manufacturing systems via ladder logic diagrams and petri nets: a comparative study. In Petri Nets in Flexible and Agile Automation, edited by M.C. Zhou (Boston: Kluwer Academic), pp. 265-304.
14. Wang, L.C., 1996, Object-oriented petri nets for modelling and analysis of automated manufacturing systems. Computer Integrated Manufacturing Systems, 9, 111-125.