A Linear Logic View of Object Petri Nets.

Published in: Fundam. Informaticae (1999)

Keyphrases

petri net
linear logic
petri net model
discrete event systems
manufacturing systems
state machines
sequent calculus
colored petri nets
fuzzy petri net
fixed point
cut elimination
ims ld
logical framework
stochastic petri net
high level
concurrent systems
knowledge representation
expert systems