2005 | ||
---|---|---|
7 | EE | Cristian Vidrascu: Modular Analysis of Concurrency in Jumping Petri Nets. SYNASC 2005: 374-381 |
2004 | ||
6 | Cristian Vidrascu: Modelling and Verification with Jumping Petri Nets. Sci. Ann. Cuza Univ. 14: 91-99 (2004) | |
2003 | ||
5 | EE | Cristian Vidrascu: Modelling a Sender-Receiver System. Acta Cybern. 16(1): 147-154 (2003) |
4 | Cristian Vidrascu, Toader Jucan: Concurrency-Degrees for P/T - Nets. Sci. Ann. Cuza Univ. 13: 91-104 (2003) | |
2002 | ||
3 | Cristian Vidrascu, Toader Jucan: Concurrency-Degrees for Jumping Petri-Nets. Sci. Ann. Cuza Univ. 12: 135-150 (2002) | |
2001 | ||
2 | Cristian Vidrascu: Some Applications of the Minimal Coverability. Sci. Ann. Cuza Univ. 10: 55-78 (2001) | |
2000 | ||
1 | Cristian Vidrascu, Toader Jucan: On Coverability Structures for Jumping Petri Nets. Sci. Ann. Cuza Univ. 9: 1-26 (2000) |
1 | Toader Jucan | [1] [3] [4] |