For the most recent entries see the
Petri Nets Newsletter
.
Keyword: branching-time temporal logic
Virbitskaite, I.B.
;
Pokozy, E.
:
A partial order method for the verification of time Petri nets.
1999.
Passino, K.M.
;
Antsaklis, P.J.
:
Branching Time Temporal Logic for Discrete Event System Analysis.
1988.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography