1. Kosanke, K., CIMOSA - Overview and status, Computer in Industry, vol. 27, no. 2, pp.101-109, (1995).
2. Kasturia,E., DiCesare,F., etc., Real-time Control of Multilevel Manufacturing Systems Using Colored Petri Nets, IEEE Int Conf. on Robotics and Automation, pp.1114-1119, San Francisco, California, (1988).
3. Sibertin-Blanc, C., High Level Petri Nets with Data Structure, Ph. D thesis, pp.141-170, (1985).
4. Jensen, K. Colored Petri Nets and the Invariant Method, Lecture Notes in Computer Science, Brauer, W., Reisig, W., and Rozenberg, G., no. 254, pp.248-299, Springer Verlag, Berlin, (1986).
5. Genrich, H.J., Predicate/Transition Nets, Lecture Notes in Computer Science, Brauer, W., Reisig, W., and Rozenberg, G., no. 254, pp.248-299, Springer Verlag, Berlin, (1986).