An interactive tool for design, simulation, verification, and synthesis of protocols.

For the most recent entries see the Petri Nets Newsletter.

In: Software-Practice & Experience, Volume 24, Issue 8, pages 747-783. John Wiley & Sons, Inc., August 1994.

Keywords: Petri net; X-windows; analysis; knitting technique; large systems; modelling; protocol; reduction; simulation design; synthesis.

Do you need a refined search? Try our search engine which allows complex field-based queries.