Two Algebraic Process Semantics for Contextual Nets.

Roberto Bruni Vladimiro Sassone

Published in: Unifying Petri Nets (2001)

Keyphrases

neural network
multiscale
control system
data sets
machine learning
image processing
higher order
first order logic
conceptual model
formal semantics