An approach to the Colored Petri Nets (CPN)-based control is proposed in this paper. CPN are used for modeling the dynamics of both the controller and the controlled process in the …
T Shailesh, A Nayak, D Prasad - Computers, 2020 - mdpi.com
Performance is a critical non-functional parameter for real-time systems and performance analysis is an important task making it more challenging for complex real-time systems …
This paper presents a new methodology to transform the UML sequence and class diagrams into High Level Petri Nets (HLPN), this transformation helps the software designers to …
D Xiang, F Zhao, Y Liu - Mathematics, 2021 - mdpi.com
Petri nets are widely used to model concurrent software systems. Currently, there are many different kinds of Petri net tools that can analyze system properties such as deadlocks …
EP Dawis - 2001 IEEE Pacific Rim Conference on …, 2001 - ieeexplore.ieee.org
Process Petri nets are an ideal modeling language for depicting the architecture of computer- based systems such as a broadband switch platform because: 1) computers are process …
This article presents an approach of modeling and simulation of the cooperation between products situated in a bounded space thus forming a system for which security assurance …