In: Petri Net Newsletter, No. 66, pages 3-13. 2004.
Abstract: This paper presents P3 - a Petri net software tool. P3 is developed for training purposes of Architecture and organization of computers course. It implements Upgraded Petri nets, which are a specific Petri net dialect. They are defined for hardware modeling, especially at the register level. P3 has the following features: graphical modeling interface, interactive simulation by single and parallel transition firing (with previous conflict resolution), three well-known Petri net verification methods and analysis tools (Reachability tree, Matrix equations, Matrix invariants), as well as two new tools (Firing graph, and Firing tree) developed for learning purposes. A special aspect of P3 is its XML support for model sharing based on the Petri Net Markup Language (PNML), and its extension for Upgraded Petri nets. Three XSL transformations are developed for transforming P3's XML-based models to the formats of other Petri net tools: DaNAMiCS, Renew, and Petri Net Kernel (PNK). Experiences with and constraints of this XSLT-based interchange are also given in this paper.
Keywords: Petri nets; education; hardware; Petri net tools; PNML.