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).