For the most recent entries see the
Petri Nets Newsletter
Zaitsev, D. A.
Invariance of TCP protocol Petri net model.
Zaitsev, Dmitry A.
Verification of protocol TCP via decomposition of Petri net model into functional subnets.
Closed Form Expressions for the State Space of TCP's Data Transfer Service Operating over Unbounded Channels.
On Defining the Service Provided by TCP.
Do you need a refined search? Try our
which allows complex field-based queries.
Back to the Petri Nets Bibliography