travis - An Online Tool for the Synthesis and Analysis of Petri Nets with Final States.

Benjamin Meis Robin Bergenthum Jörg Desel

Published in: Petri Nets (2017)

Keyphrases

petri net
colored petri nets
discrete event systems
real time
online learning
learning styles
manufacturing systems