For the most recent entries see the
Petri Nets Newsletter.
Keyword: linear temporal logic
-
Di Marzo Serugendo, Giovanna;
Mandrioli, D.;
Buchs, D.;
Guelfi, N.:
Adding Real-Time Constraints to Synchronised Petri Nets.
2000.
-
Julliand, J.;
Masson, P.-A.;
Mountassir, H.:
Modular verification of dynamic properties for reactive systems.
1999.
-
Lodaya, K.;
Ramanujam, R.;
Thiagarajan, P.S.:
A Logic for Distributed Transition Systems.
1989.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography