Results 261 to 270 of about 1,247,855 (284)

Colored Petri Nets

2019
Jiacun Wang, William Tepfenhart
openaire   +1 more source

Modeling and analysis of medical resource allocation based on Timed Colored Petri net

Future Generation Computer Systems, 2020
Xianwen Fang, Menghan Jia, Jianchun Xu   +2 more
exaly  

Single Controller-Based Colored Petri Nets for Deadlock Control in Automated Manufacturing Systems

Processes, 2020
Abdulrahman Al-Ahmari, Reggie Davidrajuh, Zhiwu Li   +2 more
exaly  

Intelligent Colored Token Petri Nets for Modeling, Control, and Validation of Dynamic Changes in Reconfigurable Manufacturing Systems

Processes, 2020
Abdulrahman Al-Ahmari, Reggie Davidrajuh, Zhiwu Li   +2 more
exaly  

Colored Petri Nets: The Basics

2023
openaire   +1 more source

Reliability Evaluation Based on the Colored Petri Net Converted from AADL Models for the Wheel Brake System of Aircraft

Aerospace, 2023
Zhong Lu
exaly  

Modeling and analysis of colored petri net based on the semi-tensor product of matrices

Science China Information Sciences, 2017
Zengqiang Chen, Zhongxin Liu
exaly  

On Modeling and Simulation of Resource Allocation Policies in Cloud Computing Using Colored Petri Nets

Applied Sciences (Switzerland), 2020
Stefanos Katsavounis, Stavros Souravlas, Sofia Anastasiadou   +2 more
exaly  

Colored Petri Net

2009
openaire   +1 more source

A novel matrix approach for the stability and stabilization analysis of colored Petri nets

Science China Information Sciences, 2019
Zengqiang Chen, Zhongxin Liu
exaly