Composing Real-Time Objects: A Case for Petri Nets and Girard's Linear L.

François Taïani Mario Paludetto Jérôme Delatour

Published in: ISORC (2001)

Keyphrases

petri net
real time
discrete event systems
manufacturing systems
fuzzy petri net
petri net model
state machines
colored petri nets
ims ld
programmable logic controller
service composition
fuzzy reasoning
real time systems
membership functions
process model
collaborative learning
stochastic petri net
low cost