Local time membrane systems and time Petri nets

2020 ◽  
Vol 805 ◽  
pp. 175-192 ◽  
Author(s):  
Bogdan Aman ◽  
Péter Battyányi ◽  
Gabriel Ciobanu ◽  
György Vaszil
Keyword(s):  
Petri Nets ◽  
Local Time ◽  
Time Petri Nets ◽  
Membrane Systems

scholarly journals Description of membrane systems with time Petri nets: promoters/inhibitors, membrane dissolution, and priorities

2020 ◽  
Vol 2 (4) ◽  
pp. 341-354
Author(s):  
Péter Battyányi ◽  
György Vaszil
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
Time Petri Nets ◽  
Membrane Systems ◽  
Time Petri Net ◽  
Priority Relation ◽  
Complex Cases

AbstractWe continue the investigations of the connection between membrane systems and time Petri nets by extending the examined class of systems from simple symbol-object membrane systems to more complex cases: rules with promoters/inhibitors, membrane dissolution, and priority relation on the rules. By constructing the simulating time Petri net, we retain one of the main characteristics of the Petri net model; namely, the firings of the transitions can take place in any order, and there is no need to introduce maximal parallelism in the Petri net semantics. Instead, we substantially exploit the gain in computational strength obtained by the introduction of the timing feature for 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