Login / Signup

Efficient Encoding Schemes for Symbolic Analysis of Petri Nets.

Enric PastorJordi Cortadella
Published in: DATE (1998)
Keyphrases
  • petri net
  • colored petri nets
  • petri net model
  • database systems
  • data structure
  • encoding schemes