For the most recent entries see the Petri Nets Newsletter.

A Petri Net Tool for Service Validation in Protocols.

Bourguet, A.

In: Sarikaya, B.; Bochmann, G.V.: Proc. of the Sixth Int. Workshop (IFIP WG 6.1) of Protocol Specification, Testing, and Verification, pages 281-292. Amsterdam: North Holland, November 1986.

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

Back to the Petri Nets Bibliography