Login / Signup

High-Level Petri Nets as Type Theories in the Join Calculus.

Maria Grazia BuscemiVladimiro Sassone
Published in: FoSSaCS (2001)
Keyphrases
  • petri net
  • high level petri nets
  • type checking
  • query optimization
  • learning algorithm
  • logic programs