For the most recent entries see the
Petri Nets Newsletter
Keyword: labelled predicate-transition net
LAPD protocol at the ISDN Interface: Formal Modeling with Petri Nets Based Models and Verification by Abstraction (Strings, Observational and Behavioral Equivalences).
Modeling and Verification of Distributed Systems with Labeled Predicate Transition Nets.
Do you need a refined search? Try our
which allows complex field-based queries.
Back to the Petri Nets Bibliography