SimHPN: A MATLAB toolbox for simulation, analysis and design with hybrid Petri nets

Júlvez, Jorge; Mahulea, Cristian; Vázquez, C.R.

doi:10.1016/j.nahs.2011.10.001

Cited by 22 publications

(12 citation statements)

References 15 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…In a next step, we will integrate it in the SimHPN toolbox [44]. We are also considering some reduction rules to decrease the practical complexity of the construction of FDG.…”

Section: Discussionmentioning

confidence: 99%

Diagnosis of Time Petri Nets Using Fault Diagnosis Graph

Wang

Mahulea

Silva

2015

IEEE Trans. Automat. Contr.

Self Cite

View full text Add to dashboard Cite

This paper proposes an online approach for fault diagnosis of timed discrete event systems modeled by Time Petri Net (TPN). The set of transitions is partitioned into two subsets containing observable and unobservable transitions, respectively. Faults correspond to a subset of unobservable transitions. In accordance with most of the literature on discrete event systems, we define three diagnosis states, namely normal, faulty and uncertain states, respectively. The proposed approach uses a fault diagnosis graph, which is incrementally computed using the state class graph of the unobservable TPN. After each observation, if the part of FDG necessary to compute the diagnosis states is not available, the state class graph of the unobservable TPN is computed starting from the consistent states. This graph is then optimized and added to the partial FDG keeping only the necessary information for computation of the diagnosis states. We provide algorithms to compute the FDG and the diagnosis states. The method is implemented as a software package and simulation results are included.Index Terms-Discrete event system (DES), fault diagnosis, Petri net, timed systems.

show abstract

“…In a next step, we will integrate it in the SimHPN toolbox [44]. We are also considering some reduction rules to decrease the practical complexity of the construction of FDG.…”

Section: Discussionmentioning

confidence: 99%

Diagnosis of Time Petri Nets Using Fault Diagnosis Graph

Wang

Mahulea

Silva

2015

IEEE Trans. Automat. Contr.

Self Cite

View full text Add to dashboard Cite

show abstract

“…Although, both low-level and high-level Petri nets have been undergone rigorous studies and many extensions are proposed to model hybrid systems, not many efforts are made to provide proper tool support. Among low-level hybrid Petri net tools HYPENS [14], SimHPN [15] and HISim [16] are worth mentioning. Both HYPENS and SimHPN are not native Petri net tool, and are based on MATLAB and Simulink.…”

Section: B Modeling and Analysis Toolsmentioning

confidence: 99%

Modeling and Analyzing Hybrid Systems Using Hybrid Predicate Transition Nets (S)

Alam

Chu

2018

International Conferences on Software Engineering and Knowledge Engineering

View full text Add to dashboard Cite

Hybrid systems, especially in the form of cyber physical systems, have become ubiquitous and are playing critical roles in the functioning of society, however their design and implementation are extremely difficulty, especially regarding their dependability. In this paper, we propose a hybrid high level Petri net formalism, hybrid predicate transition nets (HPrTNs), for modeling and analyzing hybrid systems. We discuss some critical concepts and features of HPrTNs. We demonstrate the applicability of HPrTNs through several well-known benchmark hybrid systems and compare our results with other relevant methods. HPrTNs are fully supported in the tool environment PIPE+.

show abstract

“…The SimHP N simulator [12] supports infinite server and product server semantics for both discrete and continuous transitions. Moreover, deterministic delays with single server semantics are also supported for discrete transitions.…”

Section: Continuous and Hybrid Nets In Simhpnmentioning

confidence: 99%

MATLAB tools for the analysis of Petri net models

Júlvez

Matcovschi

Păstrăvanu

2014

Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA)

View full text Add to dashboard Cite

The paradigm of Petri nets offers a rich modeling power that has been successfully exploited in many different application domains as manufacturing, logistic, traffic, computer and biological domains. In order to develop and analyze Petri models in an efficient and systematic way, appropriate software tools are required. Among the existing software platforms for scientific software development, MATLAB places at the user's disposal a large set of toolboxes with an inutitive graphical interface. This paper describes some of the existing Petri net toolboxes that have been developed on MATLAB, and that cover the needs for the modeling and analysis of discrete, continuous and hybrid systems. * Submitted to the 19th IEEE International Conference on Emerging Technologies and Factory Automation; ETFA'2014 as invited paper to track 4: "Automated Manufacturing Systems".

show abstract

SimHPN: A MATLAB toolbox for simulation, analysis and design with hybrid Petri nets

Cited by 22 publications

References 15 publications

Diagnosis of Time Petri Nets Using Fault Diagnosis Graph

Diagnosis of Time Petri Nets Using Fault Diagnosis Graph

Modeling and Analyzing Hybrid Systems Using Hybrid Predicate Transition Nets (S)

MATLAB tools for the analysis of Petri net models

Contact Info

Product

Resources

About