For the most recent entries see the
Petri Nets Newsletter
Keyword: temporal reasoning
Wilkins, David C.
Qualitative simulation of temporal concurrent processes using Time Interval Petri Nets.
Linear logic as a tool for presentation and temporal reasoning of time Petri nets.
Do you need a refined search? Try our
which allows complex field-based queries.
Back to the Petri Nets Bibliography