Login / Signup

On the Efficient Computation of the Minimal Coverability Set of Petri Nets.

Gilles GeeraertsJean-François RaskinLaurent Van Begin
Published in: Int. J. Found. Comput. Sci. (2010)
Keyphrases
  • petri net
  • efficient computation
  • computational efficiency
  • colored petri nets
  • web services
  • nearest neighbor
  • discrete event systems
  • concurrent systems
  • petri net model