Login / Signup

Non-linear invariants for coloured Petri nets with interdependent tokens; application to the proof of parallel programs.

Jacques Vautherin
Published in: Applications and Theory in Petri Nets (1985)
Keyphrases
  • coloured petri nets
  • imperative programs
  • computer vision
  • theorem prover
  • search engine
  • social networks
  • database systems
  • pattern recognition
  • decision support
  • line segments
  • parallel processing
  • formal verification