Login / Signup

Analysis and Verification Queries over Object-Oriented Petri Nets.

Milan CeskaVladimír JanousekTomás Vojnar
Published in: EUROCAST (2001)
Keyphrases
  • petri net
  • colored petri nets
  • object oriented
  • petri net model
  • relational databases
  • database
  • control system
  • query language
  • concurrent systems
  • cellular automata
  • discrete dynamical systems