Bowen Li, Brian Randell, Anirban Bhattacharyya, Talal Alharbi, Maciej Koutny. SONCraft: A Tool for Construction, Simulation, and Analysis of Structured Occurrence Nets. In 18th International Conference on Application of Concurrency to System Design, ACSD 2018, Bratislava, Slovakia, June 25-29, 2018. pages 70-74, IEEE Computer Society, 2018. [doi]
Abstract is missing.