Towards a Consistent Semantics for Unsafe Time Petri Nets.

Abdelkrim Abdelli

Published in: FGIT-ASEA (2009)

Keyphrases

petri net
petri net model
discrete event systems
manufacturing systems
colored petri nets
process algebra
service composition
state machines
fuzzy petri net
discrete dynamical systems
process model
logic programming
ims ld
artificial intelligence
sequence diagrams
concurrent systems
fuzzy logic