In: Elzas, M.S.; et al.: Modelling and Methodology: Knowledge Systems' Paradigms. Proceedings of the 1987 Conference in Tucson, AZ, USA, pages 257-266. Amsterdam, The Netherlands: North-Holland, 1989.
Abstract: The paper presents an attempt at combining the Petri nets' and the PROLOG's capabilities, and develops a new method that interprets and executes high level Petri nets in a formal way. As compared with the Petri net classical (graphic) definition and simulation, the method has advantages of not only the rule-based interpretation of Petri nets which is more simple and more formal, but also of its flexible and expansible simulating and verifying possibilities. A software tool for use to realize the method is shown.
Keywords: rule based discrete system simulation; verification (of nets); high level net; rule-based interpretation of nets; software tool.