Petri Net Synthesis for Discrete Event Control of Manufacturing Systems

Zhou, MengChu; DiCesare, F.

doi:10.1007/978-1-4615-3126-5

Cited by 544 publications

(193 citation statements)

References 26 publications

Supporting

Mentioning

177

Contrasting

Unclassified

Order By: Relevance

“…Many system engineering approaches include a top-down modeling of the planned system [21], [22], which usually means enriching a model with more and more details. Software tools allow hierarchical refinements and performance evaluations of each refined model, but usually only the most refined model available is considered further.…”

Section: Towards Accuracy-adaptive Simulationmentioning

confidence: 99%

Towards accuracy-adaptive simulation for efficient design-space optimization

Zimmermann

Bodenstein

2011

2011 IEEE International Conference on Systems, Man, and Cybernetics

View full text Add to dashboard Cite

Abstract-Designing complex embedded systems is a challenge, which benefits from using models for various tasks. Among them, an important one is finding a good (or the best) system design alternative for a given set of changeable parameters. Such decisions are usually based on non-functional properties which can be quantitatively expressed and evaluated using a model. Automatic optimization would be advantageous, but one of its problems is the enormous computational effort to evaluate the model for a large number of parameter sets. In this paper a new idea to speed up indirect optimization is proposed, which makes use of an integration of optimization control and underlying performance evaluation technique. Moreover, we propose to adaptively use refinements or abstractions of complex hierarchical models to control the tradeoff between model complexity and result accuracy of a performance evaluation, and demonstrate this dependency with an example.

show abstract

Section: Towards Accuracy-adaptive Simulationmentioning

confidence: 99%

Towards accuracy-adaptive simulation for efficient design-space optimization

Zimmermann

Bodenstein

2011

2011 IEEE International Conference on Systems, Man, and Cybernetics

View full text Add to dashboard Cite

show abstract

“…To handle these timing related issues, the author adds a dispatcher to the existing supervisor to solve the problems that could occur when event ordering cannot be ignored. The model is implemented based on Petri Nets [16,33] and an algorithm to translate the Petri Net implementation into computer language is provided.…”

Section: Related Workmentioning

confidence: 99%

Sampled-Data Supervisory Control

Leduc

Wang

2010

IFAC Proceedings Volumes

View full text Add to dashboard Cite

This thesis focuses on issues related to implementing theoretical Discrete-Event Systems (DES) supervisors, and the concurrency and timing delay issues involved.Sampled-data (SD) supervisory control deals with timed DES (TDES) systems where the supervisors will be implemented as SD controllers. An SD controller is driven by a periodic clock and sees the system as a series of inputs and outputs. On each clock edge (tick event), it samples its inputs, changes states, and updates its outputs.In this thesis, we identify a set of existing TDES properties that will be useful to our work, but not sufficient. We extend the TDES controllability definition to a new definition, SD controllability, which captures several new properties that will be useful in dealing with concurrency issues, as well as make it easier to translate a TDES supervisor into an SD controller.We then establish a formal representation of an SD controller as a Moore Finite State Machine (FSM), and describe how to translate a TDES supervisor to a FSM, as well as necessary properties to be able to do so. We discuss how to construct a single centralized controller, as well as a set of modular controllers and show that they will produce equivalent output.Next, we capture the enablement and forcing action of a translated controller in the form of a TDES supervisory control map, and show that the closed-loop behavior of this map and the plant is the same as that of the plant and the original TDES supervisor. We also show that our method is robust with respect to nonblocking and certain variations in the actual behavior of our physical system.We also introduce a set of predicate-based algorithms to verify the SD controllability property, as well as certain other conditions that we require. We have created a software tool for verifying these conditions and provide the source code in the appendix. We have implemented these algorithms using binary decision diagrams (BDD).For illustrative purpose, we have produced a set of examples which fail the key conditions discussed in this thesis, as well as a successful application example based on a Flexible Manufacturing System. We also presented the corresponding FSM, iii iv translated from the example's supervisors.

show abstract

“…If this PN is gradually built according to the hybrid synthesis proposed in (Zhou and DiCesare, 1993), the user can take advantage of the editing facilities provided by PN Toolbox, in order to assign different colors to the PN elements added in different steps of the bottom-up design (as shown in fig. 1).…”

Section: Fig 3 Sketch Of the Fms Used In Examplementioning

confidence: 99%

“…A wellknown trend in approaching FMSs relies on Petri-net (PN) models (see, for instance, (Desrochers and AlJaar, 1993; Lewis et al, 1988;Lewis et al, 1995;Zhou and DiCesare, 1993)), and the organization of computer experiments for laboratory classes requires specific software tools to deal with the complexity of analysis and design problems. However, despite the diversity of PN simulators developed by many research groups (see, for instance, (Feldbrugge, 1993) and the brief list given in (Pastravanu, 1997, pp.…”

Section: Introductionmentioning

confidence: 99%

MATLAB Tools for Petri-Net-Based Approaches to Flexible Manufacturing Systems

Mahulea

Barsan

Păstrăvanu

2001

IFAC Proceedings Volumes

View full text Add to dashboard Cite

The skeleton and the functionality of a Petri Net Toolbox, embedded in the MATLAB environment, are briefly presented, as offering a collection of instruments devoted to simulation, analysis and synthesis of discrete-event systems. The integration with the MATLAB philosophy responds to the general interest manifested by educators for enlarging the compatibility between the traditional background of Control Engineering students and the novelty of Discrete-Event-Systems scenarios. Two amply commented case studies illustrate the usage of some facilities available in this new toolbox and prove its capability to cover a wide range of teaching goals for the Petrinet-based approaches to Flexible Manufacturing Systems.

show abstract

Petri Net Synthesis for Discrete Event Control of Manufacturing Systems

Cited by 544 publications

References 26 publications

Towards accuracy-adaptive simulation for efficient design-space optimization

Towards accuracy-adaptive simulation for efficient design-space optimization

Sampled-Data Supervisory Control

MATLAB Tools for Petri-Net-Based Approaches to Flexible Manufacturing Systems

Contact Info

Product

Resources

About