Abstract State Spaces for Time Petri Nets Analysis.

Bernard Berthomieu Florent Peres François Vernadat

Published in: ISORC (2008)

Keyphrases

petri net
colored petri nets
state space
state machines
manufacturing systems
petri net model
fuzzy petri net
high level petri nets