An application of the minimal coverability graph
C VIDRAŞCU - Buletinul științific al Universitatii Baia Mare, Seria B …, 2000 - JSTOR
AN APPLICATION OF THE MINIMAL COVERABILITY GRAPH Page 1 Bul. §tiinÇ. Univ. Baia
Mare, Ser. B, Matematica - Informatica, Vol. XVI(2000), Nr. 1, 159 - 170 AN APPLICATION OF …
Mare, Ser. B, Matematica - Informatica, Vol. XVI(2000), Nr. 1, 159 - 170 AN APPLICATION OF …
[PDF][PDF] Modular analysis of concurrency in Petri nets
C Vidrascu - ICCCC 2006, 2006 - academia.edu
Modular analysis of concurrency in Petri nets Page 486 Proceedings of ICCCC 2006, Baile
Felix-Oradea, Romania pp. 486-491 Modular Analysis of Concurrency in Petri Nets Cristian …
Felix-Oradea, Romania pp. 486-491 Modular Analysis of Concurrency in Petri Nets Cristian …
[PDF][PDF] A note on the reachability set of Petri nets
C Vidrascu - Proc. of the 12th Conference on Applied and Industrial …, 2004 - rj.romai.ro
A NOTE ON THE REACHABILITY SET OF PETRI NETS Page 1 A NOTE ON THE REACHABILITY
SET OF PETRI NETS Cristian Vidrascu University “Al. I. Cuza”, Faculty of Computer Science …
SET OF PETRI NETS Cristian Vidrascu University “Al. I. Cuza”, Faculty of Computer Science …
[PDF][PDF] Concurrency Measures for Inhibitor Petri Nets
C Vidrascu - Citeseer
Key words 1 INTRODUCTION Page 1 Stud.Cercet.Stiint., Ser.Mat., 16 (2006), Supplement
Proceedings of ICMI 45, Bacau, Sept.18-20, 2006, pp. 623-646 Concurrency Measures for …
Proceedings of ICMI 45, Bacau, Sept.18-20, 2006, pp. 623-646 Concurrency Measures for …
[引用][C] Concurrency-degrees for Petri nets
T Jucan, C Vidrascu - Proc. of the 1st Conference on Theoretical Computer …, 2000