Shared memory multimicroprocessor operating system with an extended Petri net model | IEEE Journals & Magazine | IEEE Xplore