On a normal form of Petri nets
A Petri net is called (n, m)-transition restricted if its weight function takes values in {0,1 } and 1 < |*£| < n and 1 < |i*| < m for all transitions t. Using the results from [6] it has been proved ([13]) that any A-labelled Petri net is equivalent to a A-labelled (2, 2)-transition res...
Elmentve itt :
Szerzők: |
Țiplea Ferucio Laurenţiu Katsura Masashi Ito Masami |
---|---|
Dokumentumtípus: | Cikk |
Megjelent: |
1996
|
Sorozat: | Acta cybernetica
12 No. 3 |
Kulcsszavak: | Számítástechnika, Kibernetika |
Tárgyszavak: | |
Online Access: | http://acta.bibl.u-szeged.hu/12562 |
Hasonló tételek
-
A note on decidability of reachability for conditional Petri nets
Szerző: Țiplea Ferucio Laurenţiu, et al.
Megjelent: (2000) -
Use of Petri nets for performance evaluation
Szerző: Sifakis J.
Megjelent: (1979) -
Optimal trajectory generation for Petri nets
Szerző: Gyapay Szilvia, et al.
Megjelent: (2005) -
Limited codes associated with Petri nets
Szerző: Tanaka Genjiro
Megjelent: (2009) -
Extensions to the CEGAR approach on Petri nets
Szerző: Hajdu Ákos, et al.
Megjelent: (2014)