Application of Workflow Petri Nets to Modeling of Formal Verification Processes in Design Flow of Digital Integrated Circuits.
Katharina WeinbergerSlava BulachRobert BoschPublished in: DATE (2008)
Keyphrases
- petri net
- formal verification
- integrated circuit
- colored petri nets
- sequence diagrams
- stochastic petri net
- process model
- petri net model
- model checking
- manufacturing systems
- discrete event systems
- model checker
- knowledge acquisition
- workflow model
- workflow models
- programmable logic controller
- web services
- business processes
- service composition
- test cases
- low cost