In: Proceedings of the IFIP TC5 international conference on Software engineering for manufacturing systems : methods and CASE tools, 1996 , Stuttgart, Germany, pages 123-138. Chapman & Hall, Ltd, June 1997.
Keywords: Petri net; control engineering; flexible manufacturing system; software engineering; software testing; structured macro Petri net; system modelling.