Comparison of the Expressiveness of Arc, Place and Transition Time Petri Nets

2007 ◽  
pp. 63-82 ◽  
Author(s):  
M. Boyer ◽  
O. H. Roux
Keyword(s):  
Petri Nets ◽  
Transition Time ◽  
Time Petri Nets

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

scholarly journals IdentifyTPN: a tool for the identification of Time Petri nets

2017 ◽  
Vol 50 (1) ◽  
pp. 5843-5848
Author(s):  
F. Basile ◽  
P. Chiacchio ◽  
J. Coppola
Keyword(s):  
Petri Nets ◽  
Time Petri Nets

scholarly journals Modeling of safe time Petri nets by interval weighted automata

2020 ◽  
Vol 53 (4) ◽  
pp. 187-192
Author(s):  
Jan Komenda ◽  
Aiwen Lai ◽  
José Godoy Soto ◽  
Sébastien Lahaye ◽  
Jean-louis Boimond
Keyword(s):  
Petri Nets ◽  
Time Petri Nets ◽  
Weighted Automata

‘True Concurrency’ Semantics for Time Petri Nets with Weak Time and Persistent Atomic Policies

2021 ◽  
Vol 47 (5) ◽  
pp. 389-401
Author(s):  
I. B. Virbitskaite ◽  
A. Yu. Zubarev
Keyword(s):  
Petri Nets ◽  
Time Petri Nets ◽  
True Concurrency

Towards Efficient Partial Order Techniques for Time Petri Nets

2020 ◽  
pp. 100-115
Author(s):  
Kuangze Wang ◽  
Hanifa Boucheneb ◽  
Kamel Barkaoui ◽  
Zhiwu Li
Keyword(s):  
Petri Nets ◽  
Partial Order ◽  
Time Petri Nets

Verification of Event-Driven Process Chain with Timed Automata and Time Petri Nets

2017 ◽  
Author(s):  
Anam Amjad ◽  
Farooque Azam ◽  
Muhammad Waseem Anwar ◽  
Wasi Haider Butt
Keyword(s):  
Petri Nets ◽  
Timed Automata ◽  
Time Petri Nets ◽  
Process Chain ◽  
Event Driven

A Configurable State Class Method for Temporal Analysis of Time Petri Nets

2014 ◽  
Vol 44 (4) ◽  
pp. 482-493 ◽  
Author(s):  
Li Pan ◽  
Zhi Jun Ding ◽  
Meng Chu Zhou
Keyword(s):  
Petri Nets ◽  
Temporal Analysis ◽  
Time Petri Nets
Sign in / Sign up

Export Citation Format

Share Document