Elevator dynamic simulation using Petri nets
Systems Analysis Modelling Simulation
A petri-net-based synthesis methodology for use-case-driven system design
Journal of Systems and Software
Production-process modelling based on production-management data: a Petri-net approach
International Journal of Computer Integrated Manufacturing
Computers and Industrial Engineering
Modeling a flexible manufacturing cell using stochastic Petri nets with fuzzy parameters
Expert Systems with Applications: An International Journal
Design of Liveness-Enforcing Supervisors for S3PR Based on Complementary Places
ACM Transactions on Embedded Computing Systems (TECS) - Special Issue on Modeling and Verification of Discrete Event Systems
Hi-index | 0.00 |
A theory that synthesizes Petri nets for modeling flexible manufacturing systems is presented. The theory adopts a bottom-up or modular-composition approach to construct net models. Each module is modeled as a resource control net (RCN), which represents a subsystem that controls a resource type in a flexible manufacturing system. Interactions among the modules are described as the common transition and transition subnets. The net obtained by merging the modules with two minimal restrictions is shown to be conservative and thus bounded. An algorithm is developed to detect two sufficient conditions for structural liveness of the net. The algorithm examines only the net's structure and the initial marking, and appears to be more efficient than state enumeration techniques such as the reachability tree method. In this paper, the sufficient conditions for liveness are shown to be related to some structural objects called siphons. To demonstrate the applicability of the theory, a flexible manufacturing system of a moderate size is modeled and analyzed using the proposed theory