中国机械工程学会生产工程分会知识服务平台 | sc.gmachineinfo.com

会议文集

文集名	Transactions on Petri Nets and Other Models of Concurrency XVI
会议名	41st International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2020), 20th International Conference on Application of Concurrency to System Design (ACSD 2020)
中译名	《第四十一届国际皮特里网与并发的应用及理论会议，第二十届国际系统设计的并发应用会议》
会议日期	June 23-25, 2020
会议地点	Paris, France
出版年	2022
馆藏号	343305

题名	作者	出版年
Property-Preserving Transformations of Elementary Net Systems Based on Morphisms	Luca Bernardinello; Irina Lomazova; Roman Nesterov; Lucia Pomello	2022
Defining Meaningful Local Process Models	Mitchel Brunings; Dirk Fahland; Boudewijn van Dongen	2022
Distributed Synthesis of Asynchronously Communicating Distributed Process Models	Pieter Kwantes; Jetty Kleijn	2022
Using Approximation for the Verification of Token-Scaling Models	Torsten Liebke; Karsten Wolf	2022
Portfolio Management in Explicit Model Checking	Karsten Wolf	2022
Practical Distributed Implementation of Very Large Scale Petri Net Simulations	Ashur Rafiev; Jordan Morris; Fei Xia; Alex Yakovlev; Matthew Naylor; Simon Moore; David Thomas; Graeme Bragg; Mark Vousden; Andrew Brown	2022