Modeling Distributed Private Key Generation by Composing Petri Nets.
Luca BernardinelloGörkem KilinçElisabetta MangioniLucia PomelloPublished in: Trans. Petri Nets Other Model. Concurr. (2014)
Keyphrases
- petri net
- colored petri nets
- stochastic petri net
- concurrent processes
- petri net model
- discrete event systems
- manufacturing systems
- sequence diagrams
- fuzzy petri net
- holonic manufacturing systems
- ims ld
- service composition
- mobile agents
- reactive systems
- process model
- distributed systems
- data analysis
- embedded real time systems
- discrete dynamical systems
- concurrent systems
- privacy preserving
- fuzzy logic