Modeling Distributed Private Key Generation by Composing Petri Nets.
Luca BernardinelloGörkem KilinçElisabetta MangioniLucia PomelloPublished in: PNSE+ModPE (2013)
Keyphrases
- petri net
- colored petri nets
- stochastic petri net
- manufacturing systems
- petri net model
- distributed systems
- concurrent processes
- discrete event systems
- process model
- sequence diagrams
- service composition
- fuzzy petri net
- fault tolerant
- holonic manufacturing systems
- discrete dynamical systems
- artificial intelligence
- state machines
- ims ld
- concurrent systems
- privacy preserving