Hierarchies in coloured Petri nets.

Peter Huber Kurt Jensen Robert M. Shapiro

Published in: Applications and Theory of Petri Nets (1989)

Keyphrases

coloured petri nets
formal verification
hierarchical structure
information retrieval
high dimensional
management system
machine learning
artificial intelligence
e learning
knowledge base
image processing
feature extraction
response time