Towards Automated fUML Model Verification with Petri Nets.

Francesco Bedini Ralph Maschotta Alexander Wichmann Armin Zimmermann

Published in: MODELSWARD (2019)

Keyphrases

petri net
petri net model
colored petri nets
mathematical model
manufacturing systems
concurrent systems
stochastic petri net
high level petri nets
neural network
learning environment
process model
fuzzy petri net