For the most recent entries see the Petri Nets Newsletter.

Rule Based Discrete System Simulation and Verification of Petri Nets.

Daliang, D.

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.

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

Back to the Petri Nets Bibliography