SPBC: a Markovian extension of finite Petri box calculus

Proceedings 9th International Workshop on Petri Nets and Performance Models ◽

10.1109/pnpm.2001.953370 ◽

2002 ◽

Cited By ~ 6

Author(s):

H. Macia ◽

V. Valero ◽

D. de Frutos-Escrig

Download Full-text