For the most recent entries see the
Petri Nets Newsletter.
Keyword: PROLOG
-
Bolognesi, T.;
Accordino, F.:
A layer on top of PROLOG for composing behavior constraints.
1998.
-
Watanabe, T.;
Ohta, T.;
Sato, F.;
Mizuno, T.:
Protocol verification tool with extended Petri net and Horn clause.
1995.
-
Engelmann, K.;
Behrens, A.:
Modellierung diskreter dynamischer Systeme mit Prädikat-Transitionsnetzen und deren Umsetzung mit PROLOG und TURBO-PASCAL.
1990.
-
Engelmann, K.;
Behrens, A.:
Modellierung diskreter dynamischer Systeme mit Prädikat-Transitionsnetzen und deren Umsetzung mit PROLOG und TURBO-PASCAL.
1990.
-
Yamalidou, E.C.;
Patsidou, E.P.;
Kantor, J.C.:
Modeling Discrete-Event Dynamical Systems for Chemical Process Control --- a Survey of Several New Techniques.
1990.
-
Domenici, Andrea:
Petri Nets in Logic.
1990.
-
Cooke, D.E.:
Formal Specifications of Resource-Deadlock Prone Petri Nets.
1990.
-
Hormann, A.:
A Petri Net Based Control Architecture for a Multi-Robot System.
1989.
-
Harhalakis, G.;
Lin, C.P.;
Mark, L.:
A Knowledge-Based Prototype of a Factory Level CIM System.
1989.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography