For the most recent entries see the Petri Nets Newsletter.

Keyword: ISDN

Huber, Peter:
A Formal Executable Specification of the ISDN Basic Rate Interface. 1991.
Shatz, S.M.; Kajka, P.S.; Chauhan, A.S.:
Formal Modeling and Automated Analysis of the LAPD Protocol. 1990.
Juanole, G.; Faure, C.:
On Gateway for Internetworking through ISDN: Architecture and Formal Modelling with Petri Nets. 1989.

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

Back to the Petri Nets Bibliography