scholarly journals Qualitative and Quantitative Evaluation of Stochastic Time Petri Nets

2015 ◽  
Author(s):  
Franco Cicirelli ◽  
Christian Nigro ◽  
Libero Nigro
Keyword(s):  
Petri Nets ◽  
Quantitative Evaluation ◽  
Time Petri Nets ◽  
Qualitative And Quantitative ◽  
Stochastic Time

Safety Analysis Based on Stochastic Time Petri Nets

2015 ◽  
Author(s):  
Ying Peng ◽  
Shu-Zhen Yao ◽  
Huo-Bin Tan
Keyword(s):  
Petri Nets ◽  
Safety Analysis ◽  
Time Petri Nets ◽  
Stochastic Time

scholarly journals An Application of Stochastic Time Petri Nets to Scheduling Problems with Uncertain Processing Times

1989 ◽  
Vol 25 (4) ◽  
pp. 476-481
Author(s):  
Kazuaki SAITO ◽  
Atsushi OHTA ◽  
Tomiji HISAMURA
Keyword(s):  
Petri Nets ◽  
Time Petri Nets ◽  
Scheduling Problems ◽  
Processing Times ◽  
Stochastic Time

scholarly journals Realizability of schedules by stochastic time Petri nets with blocking semantics

2018 ◽  
Vol 157 ◽  
pp. 71-102 ◽  
Author(s):  
Loïc Hélouët ◽  
Karim Kecir
Keyword(s):  
Petri Nets ◽  
Time Petri Nets ◽  
Stochastic Time

Modelling and Analysis of Partially Stochastic Time Petri Nets Using Uppaal Model Checkers

2019 ◽  
pp. 975-993
Author(s):  
Christian Nigro ◽  
Libero Nigro ◽  
Paolo F. Sciammarella
Keyword(s):  
Petri Nets ◽  
Time Petri Nets ◽  
Stochastic Time

Study on event correlation detecting mechanism based on time Petri nets

2008 ◽  
Vol 28 (5) ◽  
pp. 1313-1315
Author(s):  
Hai CAO
Keyword(s):  
Petri Nets ◽  
Time Petri Nets ◽  
Event Correlation
Sign in / Sign up

Export Citation Format

Share Document