For the most recent entries see the
Petri Nets Newsletter
.
Keyword: protocol analysis
Chen, Yigang
;
Tsai, W.T.
:
An Algebraic Approach to Petri Net Reduction and its Application to Protocol Analysis.
1990.
Ramamoorthy, C.V.
;
Yaw, Y.
:
A Petri Net Reduction Algorithm for Protocol Analysis.
1986.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography