For the most recent entries see the
Petri Nets Newsletter
.
Keyword: labelled predicate-transition net
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.
Lloret, J.
:
Modeling and Verification of Distributed Systems with Labeled 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