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.