Programming with Petri Nets to Reason about Concurrency.
Julien LepillerPublished in: Scheme@ICFP (2020)
Keyphrases
- petri net
- petri net model
- reactive systems
- discrete event systems
- manufacturing systems
- concurrent programming
- programming language
- fuzzy petri net
- colored petri nets
- state machines
- concurrency control
- stochastic petri net
- ims ld
- service composition
- concurrent systems
- neural network
- discrete dynamical systems
- genetic algorithm