Sign in

The Completeness of Linear Logic for Petri Net Models.

Keiko IshiharaKunihiko Hiraishi
Published in: Log. J. IGPL (2001)
Keyphrases
  • fuzzy petri net
  • petri net
  • stochastic petri net
  • linear logic
  • discrete event systems
  • petri net model
  • process model
  • complex systems
  • probabilistic model
  • machine learning
  • service composition
  • ims ld
  • sequent calculus