Elementary net systems and dynamic logic.

Heikki Tuominen

Published in: European Workshop on Applications and Theory in Petri Nets (1988)

Keyphrases

dynamic logic
database systems
expert systems
distributed systems
computer systems
learning systems
multi agent
management system
software engineering
intelligent systems
knowledge based systems
complex systems