For the most recent entries see the
Petri Nets Newsletter
.
Keyword: propositional dynamic logic
Tuominen, Heikki
:
Proving Properties of Place/Transition-Nets with a Resolution Theorem Prover.
1991.
Tuominen, Heikki
:
Elementary Net Systems and Dynamic Logic.
1990.
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