Efficient Timing Analysis of a Class of Petri Nets.

Henrik Hulgaard Steven M. Burns

Published in: CAV (1995)

Keyphrases

petri net
petri net model
manufacturing systems
discrete event systems
high level petri nets
service composition
state machines
fuzzy petri net
stochastic petri net
state machine
colored petri nets
knowledge base