Petri nets in logic

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.

[1]  Tadao Murata,et al.  Detection of Ada Static Deadlocks Using Petri Net Invariants , 1989, IEEE Trans. Software Eng..

[2]  Franca Garzotto,et al.  On the Specification of Real-Time Systems Using Logic Programming , 1987, ESEC.

[3]  Robert A. Nelson,et al.  Casting Petri Nets into Programs , 1983, IEEE Transactions on Software Engineering.

[4]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[5]  Kazunori Ueda,et al.  Guarded Horn Clauses , 1986, LP.

[6]  Francesco Tisato,et al.  Modeling the Ada Task System by Petri Nets , 1985, Comput. Lang..

[7]  Giorgio Bruno,et al.  Process-translatable Petri nets for the rapid prototyping of process control systems , 1986, IEEE Transactions on Software Engineering.

[8]  Ehud Shapiro,et al.  A subset of Concurrent Prolog and its interpreter , 1988 .

[9]  Giorgio Bruno,et al.  PROTOB - A Hierarchical Object-Oriented CASE Tool for Distributed Systems , 1989, ESEC.

[10]  Guy Juanole,et al.  Specification and verification of distributed systems using prolog interpreted petri nets. , 1984, ICSE '84.

[11]  Robert A. Kowalski,et al.  Logic for problem solving , 1982, The computer science library : Artificial intelligence series.

[12]  C. Petri.  Kommunikation mit Automaten , 1962 .

[13]  John Wylie Lloyd,et al.  Foundations of Logic Programming , 1987, Symbolic Computation.

[14]  Keith L. Clark,et al.  PARLOG: parallel programming in logic , 1986, ACM Trans. Program. Lang. Syst..

[15]  Ivan Futó,et al.  System Simulation and Cooperative Problem-solving on a Prolog Basis , 1984, Implementations of Prolog.

[16]  William F. Clocksin,et al.  Programming in Prolog , 1981, Springer Berlin Heidelberg.