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

Current asynchronous tools are focussed mainly on the design of a single interface module. In many applications, one must design interacting interface modules that potentially communicate in complex and intricate ways. When designing communicating asynchronous modules, several difficult problems arise. First, even if each individual module can be synthesized correctly, according to the environmental assumptions specified for that module, the composition of the communicating modules may not work properly. Thus, one needs to have a way to model how the modules interact with each other, and to verify that their cooperation is consistent. In addition, means should be provided for communication and synchronization at a level higher than signal transitions, and for exploiting the communicating nature of these modules in optimization. This paper proposes a communicating Petri net model for describing communicating asynchronous modules. Each module is modeled by means of a labeled Petri net th...

• Type: Conference
• Year: 1994
• Where: DAC
• Authors: Gjalt G. de Jong, Bill Lin
• Keywords: Computer Architecture, DAC 1994, Interface Modules, Petri Nets, Signal Transitions