Much Compact Time Petri Net State Class Spaces Useful to Restore CTL* Properties

2006 ◽  
Author(s):  
R. Hadjidj ◽  
H. Boucheneb
Keyword(s):  
Petri Net ◽  
Time Petri Net

A Time Petri Net Model Based on Uniform Distribution

2010 ◽  
Vol 33 (5) ◽  
pp. 900-907 ◽  
Author(s):  
Li PAN ◽  
Zhi-Jun DING ◽  
Gang CHEN
Keyword(s):  
Uniform Distribution ◽  
Petri Net ◽  
Model Based ◽  
Time Petri Net

scholarly journals Modeling Internet Host Reliability using Higher-Order Time Petri Net

2013 ◽  
Vol 83 (2) ◽  
pp. 24-28
Author(s):  
Ali M.Meligy ◽  
Hani M. Ibrahim ◽  
Amal M. Aqlan
Keyword(s):  
Petri Net ◽  
Higher Order ◽  
Time Petri Net

Process Mining and Simulation for a p-Time Petri Net Model with Hybrid Resources

2021 ◽  
Author(s):  
Felipe Nedopetalski ◽  
Joslaine Cristina Jeske de Freitas
Keyword(s):  
Petri Net ◽  
Process Mining ◽  
Time Petri Net

scholarly journals Some Remarks on “State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions”

2019 ◽  
Vol 64 (12) ◽  
pp. 5253-5259 ◽  
Author(s):  
Zhou He ◽  
Zhiwu Li ◽  
Alessandro Giua ◽  
Francesco Basile ◽  
Carla Seatzu
Keyword(s):  
Fault Diagnosis ◽  
State Estimation ◽  
Petri Net ◽  
Time Petri Net
Sign in / Sign up

Export Citation Format

Share Document