The confluence property for petri nets and its applications

Proceedings of the 8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2006

Volumn , Issue , 2006, Pages 430-436

  Leahu, Ioana ^a   Ţiplea, Fenicio Laurenţiu ^a  

^a ALEXANDRU IOAN CUZA UNIVERSITY OF IASI   (Romania)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER APPLICATIONS; COMPUTER SCIENCE;

ASYNCHRONOUS PARALLEL; CONFLUENCE PROPERTY; ITS APPLICATIONS; STRUCTURAL TRANSFORMATION; TERM REWRITING SYSTEMS;

PETRI NETS;

EID: 46449093433     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SYNASC.2006.71     Document Type: Conference Paper

References (8)

1. Best, E., Voss, K. - Free Choice Systems Have Home States, Acta Informatica 21, 89-100, 1984.
2. Frutos-Escrig, D., Johnen, C. - Decidability of Home Space Property, Technical Report LRI 503, Univ. de Paris-Sud, Centre d'Orsay, Laboratoire de Recherche en Informatique, July 1989.
3. Godoy, G., Nieuwenhuis, R., Tiwari, A. - Classes of Term Rewrite Systems with Polynomial Confluence Problems, ACM Transactions on Computational Logic 5(2), 321-331, 2004.
4. Melinte, R., Oanea, O., Olga, I., Tiplea, F.L. - The Home Marking Problem and Some Related Concepts, Acta Cybemetica 15(3), 2002.
5. Tiplea, F. L., Ene, C. - Hierarchies of Petri Net Languages and a Super-Normal Form, Journal of Automata, Languages and Combinatorics 2, 187-204, 1997.
6. Tiplea, F. L., Jucan, T., Masalagiu, C. - Term Rewriting Systems and Petri Nets, Analele Ştiinţifice ale Universitǎţ ii "Al. I. Cuza", Vol. 34, No. 4, 305-317, 1988.
7. Tiplea, FL., Tiplea, A. Petri Nets Reactive Modules, Theoretical Computer Science, 2006 (to appear).
8. Verma, R., Rusinowitch, M., Lugiez, D. Algorithms and Reductions for Rewriting Problems, Fundamenta Informaticae 46(3), 257-276, 2001