Cristian Vidrascu

Publication Activity (10 Years)

Years Active: 2000-2008
Publications (10 Years): 0

Publications

Cristian Vidrascu
Coverability Problems for Jumping Petri Nets. SYNASC (2008)
Cristian Vidrascu
Modular Analysis of Concurrency in Jumping Petri Nets. SYNASC (2005)
Cristian Vidrascu
Modelling and Verification with Jumping Petri Nets. Sci. Ann. Cuza Univ. 14 (2004)
Cristian Vidrascu
Modelling a Sender-Receiver System. Acta Cybern. 16 (1) (2003)
Cristian Vidrascu, Toader Jucan
Concurrency-Degrees for P/T - Nets. Sci. Ann. Cuza Univ. 13 (2003)
Cristian Vidrascu, Toader Jucan
Concurrency-Degrees for Jumping Petri-Nets. Sci. Ann. Cuza Univ. 12 (2002)
Cristian Vidrascu
T-invariants for jumping Petri nets. Comput. Sci. J. Moldova 9 (3) (2001)
Cristian Vidrascu
Some Applications of the Minimal Coverability. Sci. Ann. Cuza Univ. 10 (2001)
Cristian Vidrascu, Toader Jucan
On Coverability Structures for Jumping Petri Nets. Sci. Ann. Cuza Univ. 9 (2000)