@misc{indiciae03797058d02c,
  title = {Threefold Analysis of Distributed Systems: IMDS, Petri Net and Distributed Automata DA3},
  author = {Wiktor B. Daszczuk},
  year = {2017},
  doi = {10.15439/2017f32},
  url = {https://arxiv.org/abs/1710.03168},
  note = {Source identifier: 1710.03168}
}