China
Africa
Explore chapters and articles related to this topic
Performance Modeling and Analysis Using VHDL and SystemC
Published in Wai-Kai Chen, Computer Aided Design and Design Automation, 2018
Robert H. Klenke, Jonathan A. Andrews, James H. Aylor
Petri nets that have values associated with tokens are known as colored Petri nets (CPNs). In the colored Petri nets, each token has an attached “color,” indicating the identity of the token. The net is similar to the basic definition of the Petri net except that a functional dependency is specified between the color of the token and the transition firing action. In addition, the color of the token produced by a transition may be different from the color of the tokens on the input places. Colored Petri nets have an increased ability to efficiently model real systems with small nets which are equivalent to much larger plain Petri nets due to their increased descriptive powers.
Modelling and platform application of the behaviour of a cyber physical production system
Published in International Journal of Computer Integrated Manufacturing, 2021
Simeng Song, Zengqiang Jiang, Jing Ma, Qi Li, Qiang Wang
The extended Petri net, OTCKPN, is a hybrid Petri net modelling language that integrates the characteristics of various extended Petri nets, including object-oriented, time-oriented, coloured, and knowledge-based Petri nets. Object-oriented Petri nets encapsulate certain modelling elements in the modelling process and realise the connection and information transmission among these objects through the defined interface. Specifically, object-oriented Petri nets ensure the reusability of the modelling elements in Petri nets and simplify the modelling process. Time-assigned Petri nets combine the time element (through a timestamp) with the token in the Petri net and enable the modelling and simulation according to the system time. Coloured Petri nets extend the token elements and categorise them into different colour sets. The colour set enhances the information capacity and enables the Petri net to support more complex system modelling. Moreover, coloured Petri nets can also fold Petri nets with the same structure, thereby simplifying the structure of the model nets. Knowledge Petri nets fuse the knowledge set with the library and transition, thereby endowing the net with graphical knowledge reasoning and selection structure capacities.
Towards a physical rehabilitation system using a telemedicine approach
Published in Computer Methods in Biomechanics and Biomedical Engineering: Imaging & Visualization, 2020
Ivan Ruiz, Juan Contreras, Jose Garcia
In order to guarantee the accomplishment of the defined specifications, considering the associate risk of a direct deployment or a synchronous therapy process, a dynamic model of the system was developed considering the architecture as a discrete event system. Taking advantage of the graphic representation and formal background, the coloured petri nets (CPN) was selected as a modelling tool. ‘CPN-Tools’ was used as the modelling software.