An NMF solution for the Petri Nets to State Charts case study at the TTC 2013.

Georg Hinkel Thomas Goldschmidt Lucia Happe

Published in: TTC (2013)

Keyphrases

petri net
case study
discrete event systems
petri net model
manufacturing systems
negative matrix factorization
state machines
colored petri nets
fuzzy petri net
artificial intelligence
software development
ims ld
concurrent systems
business process
sequence diagrams