Login / Signup
High-Level Petri Nets as Type Theories in the Join Calculus.
Maria Grazia Buscemi
Vladimiro Sassone
Published in:
FoSSaCS (2001)
Keyphrases
</>
petri net
high level petri nets
type checking
query optimization
learning algorithm
logic programs