DocumentCode
385909
Title
Region-based Petri nets for modeling interrupts and cancellations
Author
Borkowski, Janusz
Author_Institution
Polish-Japanese Inst. of Inf. Technol., Warsaw, Poland
fYear
2002
fDate
2002
Firstpage
67
Lastpage
71
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 effecting a set of places while the exact marking is neither known nor important.
Keywords
Petri nets; graph colouring; interrupts; parallel algorithms; parallel programming; synchronisation; Color Petri Nets; asynchronous activation; asynchronous signals; cancellation modeling; interrupt modeling; region-based Petri nets; synchronization mechanism; Parallel processing; Petri nets;
fLanguage
English
Publisher
ieee
Conference_Titel
Parallel Computing in Electrical Engineering, 2002. PARELEC '02. Proceedings. International Conference on
Print_ISBN
0-7695-1730-7
Type
conf
DOI
10.1109/PCEE.2002.1115203
Filename
1115203
Link To Document