loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Eighth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'06)
The Confluence Property for Petri Nets and its Applications
Timisoara, Romania
September 26-September 29
ISBN: 0-7695-2740-X
ASCII Text
x 
 
Ioana Leahu, Ferucio Laurentiu Tiplea, "The Confluence Property for Petri Nets and its Applications," Symbolic and Numeric Algorithms for Scientific Computing, International Symposium on, pp. 430-436, Eighth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'06), 2006.
 
 
BibTex
x
 
@article{ 10.1109/SYNASC.2006.71,
author = {Ioana Leahu and Ferucio Laurentiu Tiplea},
title = {The Confluence Property for Petri Nets and its Applications},
journal ={Symbolic and Numeric Algorithms for Scientific Computing, International Symposium on},
volume = {0},
year = {2006},
isbn = {0-7695-2740-X},
pages = {430-436},
doi = {http://doi.ieeecomputersociety.org/10.1109/SYNASC.2006.71},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Symbolic and Numeric Algorithms for Scientific Computing, International Symposium on
TI - The Confluence Property for Petri Nets and its Applications
SN - 0-7695-2740-X
SP430
EP436
A1 - Ioana Leahu,
A1 - Ferucio Laurentiu Tiplea,
PY - 2006
KW - null
VL - 0
JA - Symbolic and Numeric Algorithms for Scientific Computing, International Symposium on
ER -
 
Ioana Leahu, "Al. I. Cuza" University of Iasi, Romania
Ferucio Laurentiu Tiplea, "Al. I. Cuza" University of Iasi, Romania
A Petri net is confluent if its firing relation is confluent, i.e., for any two reachable markings there exists a marking reachable from both of them. We prove that confluence is a decidable property for Petri nets and it is preserved by asynchronous parallel composition. Applications to Petri net structural transformations and term rewriting systems are then pointed out.
Citation:
Ioana Leahu, Ferucio Laurentiu Tiplea, "The Confluence Property for Petri Nets and its Applications," synasc, pp.430-436, Eighth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.