For the most recent entries see the
Petri Nets Newsletter
.
Keyword: behavioural equivalence
Chiola, G.
;
Donotelli, S.
:
A Framework for Studying Sets of Related Petri Net Models.
1990.
Faure, C.
;
Juanole, G.
;
Vernadat, F.
:
LAPD protocol at the ISDN Interface: Formal Modeling with Petri Nets Based Models and Verification by Abstraction (Strings, Observational and Behavioral Equivalences).
1990.
Ferrari, Gian Luigi
:
Unifying Models of Concurrency.
1990.
Maggiolo-Schettini, Andrea
;
Winkowski, Józef
:
A Generalization of Predicate/Transition Nets.
1990.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography