For the most recent entries see the Petri Nets Newsletter.

Petri Nets in Logic.

Domenici, Andrea

In: Microprocessing and Microprogramming, Vol. 30, No. 1--5; Proceedings of the Sixteenth EUROMICRO Symposium on Microprocessing and Microprogramming (EUROMICRO 90), 1990, Amsterdam, The Netherlands, pages 193-198. August 1990.

Abstract: This paper discusses logic programming techniques applied to Petri nets. A Prolog representation of Petri nets is introduced, which is used to execute and analyse the nets.

Keywords: logic (application to nets); Prolog (representation of nets).

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

Back to the Petri Nets Bibliography