Structured Petri Nets Research Articles

Modelling and Control of Manufacturing Systems Using Petri Nets

The Petri net graph is a powerful tool for the specification, control and analysis of discrete event systems. A well structured Petri net will provide a clear description of how a system functions. This paper describes the development of structured Petri nets for specification and design of control code for manufacturing systems, and discusses the implementation of such Petri nets on various controllers present in modern manufacturing systems. The usefulness of structured Petri nets for system modelling and analysis is also discussed with two practical examples where they have been used to design and implement control code on real systems.

158 Structured petri nets - An approach for specifying complex real-time systems

158 Structured petri nets - An approach for specifying complex real-time systems

120 Specifying, designing and rapid prototyping computer systems with structured Petri Nets

120 Specifying, designing and rapid prototyping computer systems with structured Petri Nets

Specifying, Designing and Rapid Prototyping Computer Systems with Structured Petri Nets

Abstract The paper descrihes the use of structured Petri nets for specifying, designing and rapid-prototyping real-time software for reliability related automation systems. High order Petri nets can be applied to problems of automation dOmains, such as dynamic and embedded systems with timing requirements, parallelism, dataflow, and non-determinism of events controlling such systems. The structured development of these real-time systems and their evaluation for reliability is illustrated with guidelines for a hierarchical top-down design. Problems resulting from software/hardware interaction and their formalization with Predicate transition Petri nets are discussed. This new structured technique for the application of such PrT-nets supports the real-time simulation of sufficiently refined specifications that can be used as II system prototype for customer presentations and also for reliability assessment.

Coloured adaptive structured Petri-net Part II: deduction of the structured graph from the pregraph and application — modelling of a flexible workshop

In Part II of this paper, the authors describe the transformation of the pregraph into a structured coloured Petri-net. This step illustrates the different elementary processes as sequential control systems of the workshop and communications and binding types between these processes.

Coloured adaptive structured petri-net a tool for the automatic synthesis of hierarchical control of flexible manufacturing systems

Based on the authors' last results concerning a methodological approach for the analysis and the synthesis of flexible cells in manufacturing, this paper presents some basic ideas on which the authors are currently working for the automatic design of hierarchical control of flexible manufacturing systems (FMS). The approach is based both on the use of coloured adaptive structured Petri-nets (in order to describe the scheduling of manufacturing tasks) and artificial intelligence concepts to design such a net and to describe metarules for the control strategy. The paper is in two parts.