Scenario durations characterization of t-timed Petri nets using linear logic.

Brigitte Pradin-Chezalviel Robert Valette Luis Allan Künzle

Published in: PNPM (1999)

Keyphrases

linear logic
timed petri nets
discrete event systems
fixed point
cut elimination
logic programming
logical framework
mathematical modeling
sequent calculus
model based diagnosis
high level
desirable properties
discrete event
telecommunication networks
inference rules
general purpose
object oriented