Interval timed coloured Petri net: efficient construction of its state class space preserving linear properties.

Hanifa Boucheneb

Published in: Formal Aspects Comput. (2008)

Keyphrases

petri net
petri net model
discrete event systems
manufacturing systems
finite dimensional
colored petri nets
high level petri nets
linear space
web service composition
fuzzy petri net
service composition
hilbert space
ims ld
story generation
expert systems
hardware and software