Login / Signup
Timed Petri Nets and Temporal Linear Logic.
Makoto Tanabe
Published in:
ICATPN (1997)
Keyphrases
</>
linear logic
timed petri nets
discrete event systems
fixed point
temporal information
logic programming
temporal reasoning
temporal constraints
cut elimination
logical framework
sequent calculus
computational intelligence
sufficient conditions
desirable properties
inference rules