The Community for Technology Leaders
Parallel Computing in Electrical Engineering, 2004. International Conference on (2002)
Warsaw, Poland
Sept. 22, 2002 to Sept. 25, 2002
ISBN: 0-7695-1730-7
pp: 67
Janusz Borkowski , Polish-Japanese Institute of Information Technology
ABSTRACT
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.
INDEX TERMS
null
CITATION
Janusz Borkowski, "Region-Based Petri Nets for Modeling Interrupts and Cancellations", Parallel Computing in Electrical Engineering, 2004. International Conference on, vol. 00, no. , pp. 67, 2002, doi:10.1109/PCEE.2002.1115203
99 ms
(Ver 3.3 (11022016))