Net Verifier of Discrete Event System models expressed by UML Activity Diagrams.

Tomasz Kowalski

Published in: SMC (2006)

Keyphrases

discrete event
dynamic systems
databases
dynamical systems
uml activity diagrams
graphical models
simulation model
discrete event simulation
black box