For the most recent entries see the Petri Nets Newsletter.

Höhere Petri Netze --- ein Werkzeug für die Modellierung and Analyse verteilter Systeme und paralleler Datenverarbeitungsprozesse.

Müller, Horst

In: Informationstechnik, Vol. 30, No. 2, pages 110-117. 1988.

Abstract: An example is used for an informal introduction of high level Petri nets (HLPN). The mathematical formalism for rigorous definition of HPLN is sketched. The Floyd/Hoare inductive assertion method is transferred to the area of HLPN and used as a tool for specification and verification of properties of HLPN systems.

Keywords: high level net; distributed system.


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

Back to the Petri Nets Bibliography