Modeling and Analyzing Hybrid Systems Using Hybrid Predicate Transition Nets (S)
Dewan Mohammad Moksedul Alam, Xudong He, William Cheng‐Chung Chu · Proceedings/Proceedings of the ... International Conference on Software Engineering and Knowledge Engineering · 2018
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+.