Protocol analysis using Numerical Petri Nets

This publication has 10 references indexed in Scilit:

• The analysis of distributed systems by means of predicate/transition-nets
  Published by Springer Nature ,2005
• Petri nets are good for protocols
  Published by Association for Computing Machinery (ACM) ,1984
• Petri Nets With Individual Tokens
  Published by Springer Nature ,1983
• High-Level Petri Nets
  Informatik-Fachberichte, 1983
• Modeling and analysis of communication and cooperation protocols using petri net based models
  Computer Networks (1976), 1982
• Second IFIP WG6.1 workshop on protocol specification, testing and verification
  Computer Networks (1976), 1982
• System modelling with high-level Petri nets
  Theoretical Computer Science, 1981
• Coloured petri nets and the invariant-method
  Theoretical Computer Science, 1981
• Self-modifying nets, a natural extension of Petri nets
  Lecture Notes in Computer Science, 1978
• A search strategy for the elementary cycles of a directed graph
  BIT Numerical Mathematics, 1976