Petri nets for the design and operation of manufacturing systems

DOI10.1016/S0947-3580(97)70077-3zbMath0888.90083MaRDI QIDQ1375146

Manuel Silva, Enrique Teruel

Publication date: 8 June 1998

Published in: European Journal of Control (Search for Journal in Brave)

zbMATH Keywords

manufacturing systemsPetri nets

Mathematics Subject Classification ID

Stochastic network models in operations research (90B15) Production models (90B30) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Uses Software

• ESPNET

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Structure theory of equal conflict systems
• Petri nets and algebraic specifications
• Design and implementation of a Petri net based supervisor for a flexible manufacturing system
• Stochastic modelling of flexible manufacturing systems
• Recursive equations and basic properties of timed Petri nets
• Advances in Petri nets 1990. APN 90, 10th international conference on applications and theory of Petri nets, held in Bonn, Germany in June 1989. Proceedings
• Manufacturing flow line systems: A review of models and analytical results
• Analysis of Petri nets by stepwise refinements
• Advances in Petri nets 1993. APN 93
• Application and theory of Petri nets 1993. 14th international conference, Chicago, IL, USA, June 21--25, 1993. Proceedings
• Petri nets for modeling of dynamic systems -- a survey
• A survey of Petri net methods for controlled discrete event systems
• Application and theory of Petri nets 1995. 16th international conference, Turin, Italy, June 26--30, 1995. Proceedings
• Marked directed graphs
• Control of vector discrete-event systems. I. The base model
• Casting Petri Nets into Programs
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• New NP-Complete Problems in Performance Evaluation of Concurrent Systems Using Petri Nets
• ESPNET: expert-system-based simulator of Petri nets
• Performance evaluation of job-shop systems using timed event-graphs
• Properties and performance bounds for closed free choice synchronized monoclass queueing networks
• Optimisation of invariant criteria for event graphs
• Properties and performance bounds for timed marked graphs
• A Survey of Scheduling Rules
• Embedded product-form queueing networks and the improvement of performance bounds for Petri net systems
• A decomposition approach for stochastic reward net models
• Supervisory control of timed discrete-event systems
• Hierarchical reachability graph of bounded Petri nets for concurrent-software analysis
• Control of vector discrete-event systems. II. Controller synthesis
• The stochastic rendezvous network model for performance of synchronous client-server-like distributed software
• Concurrent vector discrete-event systems
• Free Choice Petri Nets
• On forbidden state problems for a class of controlled Petri nets
• Supervisory control of real-time discrete-event systems using lattice theory
• Deadlock avoidance policy for Petri-net modeling of flexible manufacturing systems with shared resources
• Modular state space analysis of coloured Petri Nets
• Performance bounds for stochastic timed Petri nets
• An approximation algorithm for scheduling dependent tasks on \(m\) processors with small communication delays
• Advances in Petri nets 1992

This page was built for publication: Petri nets for the design and operation of manufacturing systems