Susanna Donatelli
Monitor Petri nets Unified Modeling Language (UML) bounded Petri nets calculus complexity concurrent systems distributed systems embedded systems formal methods modeling petri net software development stochastic Petri nets system modeling