Petri net extensions for the development of MIMO net models of automated manufacturing systems

Ramaswamy, S.; Valavanis, Kimon P.; Barber, Suzanne

doi:10.1016/s0278-6125(97)88886-3

Cited by 20 publications

(5 citation statements)

References 43 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In this section, we will analyze the diagnosability of the LC model while considering various values of n. Here, we will consider two classes of faults: 5 }, we consider all the faults t i,5 in each track as belonging to the same class. Recall that such faults express the fact that trains can enter the crossing zone while the barriers are not ensured to be down.…”

Section: Comparative Analysismentioning

confidence: 99%

See 1 more Smart Citation

On‐the‐Fly and Incremental Technique for Fault Diagnosis of Discrete Event Systems Modeled by Labeled Petri Nets

Liu

Ghazel

Toguyéni³

2017

Asian Journal of Control

View full text Add to dashboard Cite

In this paper, we develop an on‐the‐fly and incremental technique for fault diagnosis of discrete event systems modeled by labeled Petri nets, in order to tackle the combinatorial explosion problem. K‐diagnosability, diagnosability, Kmin (the minimum K ensuring diagnosability) and on‐line diagnosis are solved on the basis of the on‐the‐fly and incremental building of two structures, called respectively fault marking graph and fault marking set graph, in parallel. We build on existing results, namely those establishing necessary and sufficient conditions for diagnosability, but we bring mechanisms to make the checking of such conditions potentially more efficient. We show that, in general, analyzing or even building the whole reachability graph is unnecessary to analyze diagnosability and build an on‐line diagnoser. Our technique was implemented in a prototype tool called OF‐PENDA, and a railway level crossing benchmark is used to make a comparative discussion pertaining to efficiency in terms of time and memory relative to some existing approaches.

show abstract

Section: Comparative Analysismentioning

confidence: 99%

“…In order to overcome this problem, some works turn to using Petri nets (PNs) [4][5][6][7][8][9][10][11][12][13][14][15][16][17], which offer powerful expressiveness and compact representation. In [10], the authors develop the basis reachability graph (BRG) to discuss diagnosability of bounded LPNs.…”

mentioning

confidence: 99%

On‐the‐Fly and Incremental Technique for Fault Diagnosis of Discrete Event Systems Modeled by Labeled Petri Nets

Liu

Ghazel

Toguyéni³

2017

Asian Journal of Control

View full text Add to dashboard Cite

show abstract

“…Some examples of this extension and adaptation can be found in [23,24] to model manufacturing control software systems. …”

Section: Related Workmentioning

confidence: 99%

The importance of business process modeling in software systems design

Barjis

2008

Science of Computer Programming

106

View full text Add to dashboard Cite

Despite diligent efforts made by the software engineering community, the failure of software projects keeps increasing at an alarming rate. After two decades of this problem reoccurring, one of the leading causes for the high failure rate is still poor process modeling (requirements' specification). Therefore both researchers and practitioners recognize the importance of business process modeling in understanding and designing accurate software systems. However, lack of direct model checking (verification) feature is one of the main shortcomings in conventional process modeling methods. It is important that models provide verifiable insight into underlying business processes in order to design complex software systems such as Enterprise Information Systems (EIS). The software engineering community has been deploying the same methods that have haunted the industry with failure. In this paper, we try to remedy this issue by looking at a non-conventional framework. We introduce a business process modeling method that is amenable to automatic analysis (simulation), yet powerful enough to capture the rich reality of business systems as enacted in the behavior and interactions of users. The proposed method is based on the innovative language-action perspective.

show abstract

“…Many extensions to Petri nets are suggested to consider issues specific to the problems on hand. Hierarchical timed extended Petri nets (H-EPNs), a form of extended Petri net, allow the development of structured MIMO subnets to model complex system functionalities [9] . A class of modelling tools called augmented timed Petri nets (ATPNs) has been introduced for the modelling and analysis of robotic assembly systems with breakdown [10] .…”

Section: Petri Nets In Modelling and Simulationmentioning

confidence: 99%

Modeling and Simulation of Projects with Petri Nets

Kumanan¹,

Raja²

2008

American J. of Applied Sciences

View full text Add to dashboard Cite

Traditional project management tools and other revised tools are limited in representation of the problem and in dealing situation dynamically. This paper details the use of Petri nets as a graphical and mathematical modeling and simulation tool in project management. In this context, the benefits of Petri nets are indicated. A Petri net aided software, a PETRI-PM is developed to model, simulate and analyze the project. Extensions to make Petri nets suitable for project management applications are proposed. The use of a PPC-matrix for token movements is proposed. The paper also discusses the implications of the model and the analysis it supports. The usefulness of the software is exemplified with a case study.

show abstract

Petri net extensions for the development of MIMO net models of automated manufacturing systems

Cited by 20 publications

References 43 publications

On‐the‐Fly and Incremental Technique for Fault Diagnosis of Discrete Event Systems Modeled by Labeled Petri Nets

On‐the‐Fly and Incremental Technique for Fault Diagnosis of Discrete Event Systems Modeled by Labeled Petri Nets

The importance of business process modeling in software systems design

Modeling and Simulation of Projects with Petri Nets

Contact Info

Product

Resources

About