Giacomo Bucci, Riccardo Mattolini, Enrico Vicario. Using communicating Petri nets to implement parallel computation in single-tasking operating systems. In 1993 Euromicro Workshop on Parallel and Distributed Processing, PDP 1993, Gran Canaria, Spain, 27-29 January 1993. pages 481-489, IEEE, 1993. [doi]
Abstract is missing.