Invariant-Based Performance Analysis of Timed Petri Net Models.

Wlodzimierz M. Zuberek

Published in: DepCoS-RELCOMEX (2016)

Keyphrases

petri net
stochastic petri net
petri net model
colored petri nets
manufacturing systems
high level petri nets
process model
discrete event systems
embedded real time systems
complex systems
reactive systems
fuzzy petri net
concurrent systems