For the most recent entries see the
Petri Nets Newsletter.
Interface as a Basic Concept for Systems Specification and Verification.
Voss, K.
In:
Voss, K.; Genrich, H.J.; Rozenberg, G.: Concurrency and Nets - Advances in Petri Nets, pages 585-604.
Berlin: Springer-Verlag,
1987.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography