Matching observed behavior and modeled behavior: An approach based on Petri nets and integer programming

Mixed integer programming (MIP) is an important technique to verify the liveness property of sequential flexible manufacturing systems (FMS) modeled by Petri nets. When there are some fully flexible routings in FMS, the existing MIP-based methods are not suitable for testing their liveness. This paper defines a subclass of S*PR nets firstly, namely, OSC-S*PR nets, and concludes that an OSC-S*PR net is live if there exist no non-max′-controlled siphons. Accordingly, determining whether or not an OSC-S*PR net is live can also be realized by using standardized mixed integer programming (MIP) tools. Furthermore, the liveness property of S*PR nets can be tested in two steps: first, for a given S*PR net, constructing an OSC-S*PR net to ensure that if the latter is live then the former must be live; second, testing liveness of the constructed OSC-S*PR net by the aforementioned MIP-based algorithm. In the end, the performance of the method is demonstrated by an application of FMS.

Download Full-text

Identification of free-labeled Petri nets via integer programming

Proceedings of the 44th IEEE Conference on Decision and Control ◽

10.1109/cdc.2005.1583395 ◽

2006 ◽

Cited By ~ 27

Author(s):

A. Giua ◽

C. Seatzu

Keyword(s):

Integer Programming ◽

Petri Nets

Download Full-text

An Efficient Mixed Integer Programming Model Based on Timed Petri Nets for Diverse Complex Cluster Tool Scheduling Problems

IEEE Transactions on Semiconductor Manufacturing ◽

10.1109/tsm.2011.2180547 ◽

2012 ◽

Vol 25 (2) ◽

pp. 186-199 ◽

Cited By ~ 59

Author(s):

Chihyun Jung ◽

Tae-Eog Lee

Keyword(s):

Integer Programming ◽

Petri Nets ◽

Mixed Integer Programming ◽

Programming Model ◽

Mixed Integer ◽

Scheduling Problems ◽

Timed Petri Nets ◽

Integer Programming Model ◽

Complex Cluster ◽

Cluster Tool

Download Full-text

Robust control reconfiguration of resource allocation systems with Petri nets and integer programming

Automatica ◽

10.1016/j.automatica.2013.12.015 ◽

2014 ◽

Vol 50 (3) ◽

pp. 915-923 ◽

Cited By ~ 34

Author(s):

Jun Li ◽

MengChu Zhou ◽

Tao Guo ◽

Yahui Gan ◽

Xianzhong Dai

Keyword(s):

Resource Allocation ◽

Integer Programming ◽

Robust Control ◽

Petri Nets ◽

Resource Allocation Systems ◽

Control Reconfiguration

Download Full-text

Petri Nets Identification Techniques for Automated Modelling of Discrete Event Processes

Advances in Computer and Electrical Engineering - Advanced Methodologies and Technologies in Network Architecture, Mobile Computing, and Data Analytics ◽

10.4018/978-1-5225-7598-6.ch108 ◽

2019 ◽

pp. 1461-1478

Author(s):

Edelma Rodriguez-Perez ◽

Ernesto Lopez-Mellado

Keyword(s):

Reverse Engineering ◽

Petri Nets ◽

Petri Net ◽

Discrete Event ◽

Reactive System ◽

Input Output ◽

Event Models ◽

Identification Techniques ◽

Current Behavior ◽

Observed Behavior

One of the ways to perform the reverse engineering of a reactive system is to analyze the model of such a system. However, this model could not exist, or the documentation could not be updated; then a model that describes the current behavior of the system has to be built. Automated modelling of reactive discrete event processes can be achieved through identification techniques, which yield suitable discrete event models from the observed behavior in the form of input-output sequences. This chapter presents an overview of input-output identification techniques that build Petri net models.

Download Full-text