A Communicating Petri Net Model for the Design of Concurrent Asynchronous Modules

Gjalt G. de Jong, Bill Lin. A Communicating Petri Net Model for the Design of Concurrent Asynchronous Modules. In DAC. pages 49-55, 1994. [doi]

Abstract

Abstract is missing.