Towards Automated fUML Model Verification with Petri Nets.

Francesco Bedini, Ralph Maschotta, Alexander Wichmann, Armin Zimmermann

Browse the full MODELSWARD paper archive.