Using communicating Petri nets to implement parallel computation in single-tasking operating systems.

Giacomo Bucci, Riccardo Mattolini, Enrico Vicario

Browse the full PDP paper archive.