Analyzing Hybrid Petri nets with multiple stochastic firings using HyPro.

Jannik Hüls Stefan Schupp Anne Remke Erika Ábrahám

Published in: VALUETOOLS (2017)

Keyphrases

petri net
petri net model
manufacturing systems
discrete event systems
service composition
colored petri nets
fuzzy petri net
artificial intelligence
concurrent systems
stochastic petri net
ims ld
state machines