Counterexamples to «Liveness-Enforcing Supervision of Bounded Ordinary Petri Nets Using Partial Order Methods» / XIE X; GIUA A. - In: IEEE TRANSACTIONS ON AUTOMATIC CONTROL. - ISSN 0018-9286. - 49:7(2004), pp. 1217-1219.
Scheda prodotto non validato
Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo
Titolo: | Counterexamples to «Liveness-Enforcing Supervision of Bounded Ordinary Petri Nets Using Partial Order Methods» |
Autori: | |
Data di pubblicazione: | 2004 |
Rivista: | |
Citazione: | Counterexamples to «Liveness-Enforcing Supervision of Bounded Ordinary Petri Nets Using Partial Order Methods» / XIE X; GIUA A. - In: IEEE TRANSACTIONS ON AUTOMATIC CONTROL. - ISSN 0018-9286. - 49:7(2004), pp. 1217-1219. |
Handle: | http://hdl.handle.net/11584/12620 |
Tipologia: | 1.1 Articolo in rivista |
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.