loading...
Region-Based Petri Nets for Modeling Interrupts and Cancellations
Warsaw, Poland September 22-September 25
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/PCEE.2002.1115203International Conference on Parallel ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Janusz Borkowski, "Region-Based Petri Nets for Modeling Interrupts and Cancellations," Parallel Computing in Electrical Engineering, International Conference on, pp. 67, International Conference on Parallel Computing in Electrical Engineering (PARELEC'02), 2002.
 
 
BibTex
x
 
@article{ 10.1109/PCEE.2002.1115203,
author = {Janusz Borkowski},
title = {Region-Based Petri Nets for Modeling Interrupts and Cancellations},
journal ={Parallel Computing in Electrical Engineering, International Conference on},
volume = {0},
year = {2002},
isbn = {0-7695-1730-7},
pages = {67},
doi = {http://doi.ieeecomputersociety.org/10.1109/PCEE.2002.1115203},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Parallel Computing in Electrical Engineering, International Conference on
TI - Region-Based Petri Nets for Modeling Interrupts and Cancellations
SN - 0-7695-1730-7
SP
EP
A1 - Janusz Borkowski,
PY - 2002
KW - null
VL - 0
JA - Parallel Computing in Electrical Engineering, International Conference on
ER -
 
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.
Citation:
Janusz Borkowski, "Region-Based Petri Nets for Modeling Interrupts and Cancellations," parelec, pp.67, International Conference on Parallel Computing in Electrical Engineering (PARELEC'02), 2002
Usage of this product signifies your acceptance of the Terms of Use.