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