TY  - RPRT
TI  - Threefold Analysis of Distributed Systems: IMDS, Petri Net and Distributed Automata DA3
AU  - Wiktor B. Daszczuk
PY  - 2017
DO  - 10.15439/2017f32
UR  - https://arxiv.org/abs/1710.03168
ID  - 1710.03168
ER  -