Keyword: numerical net

• Liu, N.K.; Dillon, T.:
  An Approach Towards the Verification of Expert Systems Using Numerical Petri Nets. 1991.

• Wang, Shu Chien; Amin, Ashok T.:
  Modeling and Verification of AMPS Communication Protocol. 1990.

• Gerrand, P.H.:
  Experience Gained in Applying Formal Description Techniques to the Design of Complex Real-Time Computing Systems. 1989.

• Ang, C.C.; Jordan, V.; Dillon, T.S.:
  Application of Petri Nets to Specify and Verify the ISO-CASE Protocols. 1988.

Back to the Petri Nets Bibliography