An Algebraic Semantics for Hierarchical P/T Nets.

Twan Basten Marc Voorhoeve

Published in: Application and Theory of Petri Nets (1995)

Keyphrases

formal semantics
semantic information
hierarchical structures
hierarchical structure
logic programming
hierarchical model
artificial intelligence
hierarchical clustering
operational semantics
cp nets
coarse to fine
semantic representation