ITPN-PerfBound: A Performance Bound Tool for Interval Time Petri Nets.

Elina Pacini Naumovich Simona Bernardi Marco Gribaudo

Published in: TACAS (2009)

Keyphrases

petri net
discrete event systems
petri net model
manufacturing systems
sequence diagrams
high level petri nets
concurrent systems
service composition
colored petri nets
discrete dynamical systems
ims ld
state machines
fuzzy sets
fuzzy reasoning
fuzzy petri net
stochastic petri net