Verification of Concurrent Programs Using Petri Net Unfoldings.
Daniel DietschMatthias HeizmannDominik KlumppMehdi NaouarAndreas PodelskiClaus SchätzlePublished in: VMCAI (2021)
Keyphrases
- petri net
- concurrent programs
- process algebra
- concurrent systems
- concurrent processes
- petri net model
- colored petri nets
- discrete event systems
- fuzzy petri net
- stochastic petri net
- model checking
- asynchronous circuits
- web service composition
- service composition
- formal methods
- ims ld
- process model
- concurrent programming
- general purpose
- formal specification
- story generation
- production process
- real time
- artificial intelligence
- machine learning