Dependency Analysis-A Petri-Net-Based Technique for Synthesizing Large Concurrent Systems
IEEE Transactions on Parallel and Distributed Systems
The Algorithm of a Synthesis Technique for Concurrent Systems
PNPM '89 The Proceedings of the Third International Workshop on Petri Nets and Performance Models
Performance Modeling and Evaluation of Distributed Component-Based Systems Using Queueing Petri Nets
IEEE Transactions on Software Engineering
Robotics and Computer-Integrated Manufacturing
Interactive diagnosis of flexible manufacturing systems
SMO'08 Proceedings of the 8th conference on Simulation, modelling and optimization
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Plenary lecture 1: scheduling availability of discrete event systems
SMO'09 Proceedings of the 9th WSEAS international conference on Simulation, modelling and optimization
An example of modeling manufacturing systems using Petri nets and the IEC 61499 standard
ICS'09 Proceedings of the 13th WSEAS international conference on Systems
A divide-and-conquer strategy to deadlock prevention in flexible manufacturing systems
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
Petri net modeling and deadlock analysis of parallel manufacturing processes with shared-resources
Journal of Systems and Software
DES modelling and control vs. problem solving methods
International Journal of Intelligent Information and Database Systems
| Hi-index | 0.00 |
Petri nets have been recognised as a high level formal and graphical specification language for modelling, analysis, and control of concurrent asynchronous distributed systems. This paper presents a PN model, synthesised by an extended version of the knitting synthesis technique. This method, as an incremental design approach, establishes the conditions under which the fundamental behavioural properties of the synthesised systems are fulfilled and preserved. That is, the synthesised models are live, bounded, and reversible (cyclic). A Petri net with the aforementioned properties is called a well-behaved Petri net system which is guaranteed to operate in a deadlock-free, stable, and cyclic fashion. Well-behaved Petri net models, synthesised using the proposed method can be compiled into control codes and implemented as real-time controllers for flexible manufacturing systems. The significance of this paper is due to the application of an extended version of knitting synthesis technique to a real life example of a flexible manufacturing system.