PN modeling of discrete event systems with temporal constraints

This paper proposes a Petri Nets based modeling of discrete event systems (DESs) that includes complex temporal constraints. State evolution in DESs depends on the occurrence of discrete events over the time and consequently on temporal information between tasks. The contributions of the paper are to transform Business Process Modeling (BPM) that deal with such constraints into PNs and to propose a systematic way to include inter-tasks constraints in PN formalisms. Such model enables the analysis of incomplete temporal sequences of events, which is a key feature when dealing with diagnostic issues.

[1]  Gianfranco Lamperti,et al.  Monitoring of Active Systems With Stratified Uncertain Observations , 2011, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[2]  Akhil Kumar,et al.  Controlled violation of temporal process constraints - Models, algorithms and results , 2017, Inf. Syst..

[3]  Dimitri Lefebvre.  Fault Diagnosis and Prognosis With Partially Observed Petri Nets , 2014, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[4]  James L. Peterson,et al.  Petri net theory and the modeling of systems , 1981 .

[5]  Serge Haddad,et al.  Stochastic Petri Nets , 2010 .

[6]  Fushuan Wen,et al.  A fuzzy Petri net based approach for fault diagnosis in power systems considering temporal constraints , 2016 .

[7]  James F. Allen.  Maintaining knowledge about temporal intervals , 1983, CACM.

[8]  Marco Ajmone Marsan,et al.  The Effect of Execution Policies on the Semantics and Analysis of Stochastic Petri Nets , 1989, IEEE Trans. Software Eng..

[9]  George Jiroveanu,et al.  A distributed approach for fault detection and diagnosis based on Time Petri Nets , 2006, Math. Comput. Simul..

[10]  Johann Eder,et al.  Time Management in Workflow Systems , 1999, BIS.

[11]  Francesco Basile,et al.  Model repair of Time Petri nets with temporal anomalies , 2015 .

[12]  Akhil Kumar,et al.  Flexible Process Compliance with Semantic Constraints Using Mixed-Integer Programming , 2013, INFORMS J. Comput..

[13]  Sushil Jajodia,et al.  Temporal Reasoning in Workflow Systems , 2002, Distributed and Parallel Databases.

[14]  Christoforos N. Hadjicostis,et al.  Fault Diagnosis in Discrete Event Systems Modeled by Partially Observed Petri Nets , 2009, Discret. Event Dyn. Syst..

[15]  Ouajdi Korbaa,et al.  Double Chaining Approach for Indirect Monitoring of FMS under Cyclic Scheduling , 2012 .

[16]  Denis Gagné,et al.  Time-BPMN , 2009, 2009 IEEE Conference on Commerce and Enterprise Computing.

[17]  Cristian Mahulea,et al.  HEAT: A tool to develop, analyze and monitor clinical pathways , 2017, 2017 IEEE 14th International Conference on Networking, Sensing and Control (ICNSC).

[18]  Marco Ajmone Marsan,et al.  Modelling with Generalized Stochastic Petri Nets , 1995, PERV.

[19]  Manfred Reichert,et al.  A formal semantics of time patterns for process-aware information systems , 2013 .

[20]  Genserik Reniers,et al.  Petri-net based modeling and queuing analysis for resource-oriented cooperation of emergency response actions , 2016 .

[21]  Eric Sanlaville,et al.  Estimation of the fault occurrence dates in DESs with partially observed stochastic Petri nets , 2015, ADHS.