Coloured Petri net refinement specification, and correctness proof with Coq.
Christine ChoppyMicaela MayeroLaure PetrucciPublished in: NASA Formal Methods (2009)
Keyphrases
- petri net
- provably correct
- formal methods
- colored petri nets
- theorem prover
- reactive systems
- petri net model
- manufacturing systems
- sequence diagrams
- discrete event systems
- formal specification
- high level petri nets
- web service composition
- artificial intelligence
- first order logic
- concurrent systems
- fuzzy petri net
- neural network
- service composition
- process model
- knowledge based systems
- learning environment
- stochastic petri net
- knowledge base
- decision making