Formal Properties of Place/Transition Nets.

Matthias Jantzen Rüdiger Valk

Published in: Advanced Course: Net Theory and Applications (1979)

Keyphrases

formal language
desirable properties
multimedia
real time
databases
database
database systems
search algorithm
multi agent systems
information technology
artificial neural networks
user interface
formal model
structural properties
algebraic operators