For the most recent entries see the Petri Nets Newsletter.

Keyword: modal logics

Buchholz, Peter; Tarasyuk, Igor Valerievich:
Equivalences for stochastic Petri nets and stochastic process algebras. 2006.
Tarasyuk, Igor V.:
Logical characterization of probabilistic t-bisimulation equivalences. 2004.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography