For the most recent entries see the
Petri Nets Newsletter.
Keyword: logic
-
Olderog, Ernst-Rüdiger:
Correctness of Concurrent Processes.
1991.
-
Baumgarten, Bernd:
Petri-Netze: Grundlagen und Anwendungen.
1990.
-
Little, Thomas D.C.;
Ghafoor, Arif:
Multimedia Object Models for Synchronization and Databases.
1990.
-
Pelz, Elisabeth:
Logic Versus Sequential and Concurrent Behaviour.
1990.
-
Pelz, Elisabeth:
Place/Transition-Systems: Concurrent Behaviour and Logic.
1990.
-
Pelz, Elisabeth:
Réseaux et Logique.
1990.
-
Wang, Fei Yue;
Saridis, George N.:
Task Plan Generation for Intelligent Machines.
1990.
-
Lodaya, Kamal;
Mukund, Madhavan;
Ramanujam, R.;
Thiagarajan, P.S.:
Models and Logics for True Concurrency.
1990.
-
Domenici, Andrea:
Petri Nets in Logic.
1990.
-
Little, Thomas D.C.;
Ghafoor, Arif:
Synchronization and Storage Models for Multimedia Objects.
1990.
-
Zelewski, Stephan:
Contributions of Net-Theory to the Modelling of OR-Problems from a Logically Based Point of View.
1989.
-
Musshoff, Heinz-Josef;
Winand, Udo:
Befehlslogik und normative Aspekte betrieblicher Planung: Ein Beitrag zur Anwendung der Rescher'schen ``Logic of commands'' auf der Grundlage von Petri-Netztheorie und Generativer Grammatik.
1985.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography