International Conference on Parallel Computing in Electrical Engineering (PARELEC'02) (2002)
Sept. 22, 2002 to Sept. 25, 2002
Janusz Borkowski , Polish-Japanese Institute of Information Technology
A synchronization mechanism using asynchronous activation and cancellation is considered. A process can receive asynchronous signals. The signals can either suspend the current activity causing the process to execute a handling procedure, or they can cancel the current computation. The Petri Net formalism is employed to describe the behavior of the system. An extension to Color Petri Nets, Region Based PN, is proposed to model actions affecting a set of places while the exact marking is neither known nor important.
J. Borkowski, "Region-Based Petri Nets for Modeling Interrupts and Cancellations," International Conference on Parallel Computing in Electrical Engineering (PARELEC'02)(PARELEC), Warsaw, Poland, 2002, pp. 67.