For the most recent entries see the Petri Nets Newsletter.

The PDL-System: An Unified Approach to the Specification, Verification, and Implementation of Protocols.

König, H.; Heiner, M.

In: Csaba, L.; Tarnay, L.; Szentivanyi, T.: Computer Network Usage: Recent Experiences, Proc. of the IFIP TC 6 Working Conf. COMNET'85, Budapest, pages 567-582. Amsterdam: North Holland, 1986.


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

Back to the Petri Nets Bibliography