Tzafestas, Spyros G.; Athanassiou, Charalambos N. Flexible Petri nets for intelligent robot cell modelling. (English) Zbl 0854.68066 Found. Comput. Decis. Sci. 20, No. 3, 239-252 (1995). Summary: A new class of Petri nets (called Flexible Petri nets is developed which can form the theoretical platform for building a computer tool that aids the rapid modelling and prototyping of the coordination layer of flexible robotic cells (FRC). Flexible Petri nets \((F1\) P-N) are produced by combining a set of existing extensions and modifications to the simple Petri net model. A special graphical programming language is created which covers the semantics of \(F1\) P-Ns and so it is appropriate for easy implementation of \(F1\) P-Ns. The proposed prototyping methodology involves the design and construction of a behavioral model which possesses “hierarchical control” and “distributed system” features. A nontrivial flexible manufacturing system (FMS) example is included to show how this behavioral model can be employed. MSC: 68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) 68U99 Computing methodologies and applications Keywords:flexible Petri nets; flexible robotic cells PDFBibTeX XMLCite \textit{S. G. Tzafestas} and \textit{C. N. Athanassiou}, Found. Comput. Decis. Sci. 20, No. 3, 239--252 (1995; Zbl 0854.68066)