application and theory of petri nets

kristensen, lars m. (edt)/ petrucci, laure (edt) · springer-verlag new york inc