Wiktor B. Daszczuk. Threefold Analysis of Distributed Systems: IMDS, Petri Net and Distributed Automata DA3. In Maria Ganzha, Leszek A. Maciaszek, Marcin Paprzycki, editors, Communication Papers of the 2017 Federated Conference on Computer Science and Information Systems, FedCSIS 2017, Prague, Czech Republic, September 3-6, 2017. pages 377-386, 2017. [doi]
Abstract is missing.