For the most recent entries see the
Petri Nets Newsletter.
A Petri Net Reduction Algorithm for Protocol Analysis.
Ramamoorthy, C.V.;
Yaw, Y.
In:
Kosinsky, W.; et al.: Communications and Architecture & Protocols. (Conference, 1986, Stowe, VT), pages 157-166.
New York, NY: Association for Computing Machinery,
1986.
Keywords:
net reduction algorithm (for) protocol analysis.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography