Login / Signup

When to Move to Transfer Nets - On the Limits of Petri Nets as Models for Process Calculi.

Gianluigi Zavattaro
Published in: Programming Languages with Applications to Biology and Security (2015)
Keyphrases
  • petri net
  • process model
  • stochastic petri net
  • colored petri nets
  • discrete event systems
  • petri net model
  • complex systems
  • reactive systems
  • rough sets
  • production system
  • service composition
  • concurrent systems