Using communicating Petri nets to implement parallel computation in single-tasking operating systems. Bucci, G., Mattolini, R., & Vicario, E. In 1993 Euromicro Workshop on Parallel and Distributed Processing, PDP 1993, Gran Canaria, Spain, 27-29 January 1993, pages 481–489, 1993. IEEE.
Using communicating Petri nets to implement parallel computation in single-tasking operating systems [link]Paper  doi  bibtex   
@inproceedings{DBLP:conf/pdp/BucciMV93,
    author = "Bucci, Giacomo and Mattolini, Riccardo and Vicario, Enrico",
    title = "Using communicating Petri nets to implement parallel computation in single-tasking operating systems",
    booktitle = "1993 Euromicro Workshop on Parallel and Distributed Processing, {PDP} 1993, Gran Canaria, Spain, 27-29 January 1993",
    pages = "481--489",
    publisher = "{IEEE}",
    year = "1993",
    url = "https://doi.org/10.1109/EMPDP.1993.336373",
    doi = "10.1109/EMPDP.1993.336373",
    timestamp = "Wed, 16 Oct 2019 14:14:55 +0200",
    biburl = "https://dblp.org/rec/conf/pdp/BucciMV93.bib",
    bibsource = "dblp computer science bibliography, https://dblp.org"
}

Downloads: 0