Bibliography

Roxana Dietze ( Melinte)

2006

Roxana Dietze, Manfred Kudlek, and Olaf Kummer.
On decidability problems of a basic class of object nets.
Technical Report FBI-HH-B-270/06, Universität Hamburg, Fachbereich Informatik, Vogt-Kölln Str. 30, D-22527 Hamburg, March 2006.

2005

Roxana Dietze.
Unentscheidbarkeit des Beschränktheitsproblems für allgemeine Referenznetze.
In Schmidt and Stahl , Proceedings of the 12th Workshop on Algorithms and Tools for Petri Nets (AWPN 05), pages 48-53.

2004

Roxana Melinte.
Konzepte von Referenznetzen.
In Proceedings of the 11th Workshop on Algorithms and Tools for Petri Nets (AWPN 04), Ekkart Kindler (ed.), Bericht tr-ri-04-251, pages 43-48, 2004.

Roxana Melinte and Manfred Kudlek.
On black hole languages.
Supplemental Papers for DLT'04 - C.S. Calude, E. Calude, M. J. Dinneen (Eds.), CDMTCS-252, pages 30-41, 2004.

2003

Roxana Melinte.
Coverability structure based analysis.
Technical Report TR 02-05, University ``A.I.Cuza'' of Iasi, Faculty of Computer Science, 2002.

2002

Roxana Melinte, O. Oanea, I. Olga, and F. L. Tiplea.
The home marking problem and some related concepts.
Acta Cybernetica 15, pages 467-478, 2002.

Roxana Melinte, Olivia Oanea, Ioana Olga, and F. L. Tiplea.
The home marking problem and some related concepts.
In PROMISE 2002, GI-Edition - Lecture Notes in Informatics, P-21 ed. J. Desel, pages 104-115. Bonner Köllen Verlag, 2002.