A partial order method for the verification of time Petri nets

1999 ◽  
pp. 547-558 ◽  
Author(s):  
I. Virbitskaite ◽  
E. Pokozy
Keyword(s):  
Petri Nets ◽  
Partial Order ◽  
Time Petri Nets ◽  
Order Method

scholarly journals Preserving Partial-Order Runs in Parametric Time Petri Nets

2017 ◽  
Vol 16 (2) ◽  
pp. 1-26 ◽  
Author(s):  
Étienne André ◽  
Thomas Chatain ◽  
César Rodríguez
Keyword(s):  
Petri Nets ◽  
Partial Order ◽  
Time Petri Nets

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
Sign in / Sign up

Export Citation Format

Share Document