Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
[1]
Hilfe
Suche: Author="Couvreur, J.M."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
On liveness in extended non self-controlling nets
K. Barkaoui
,
J.M. Couvreur
,
C. Dutheillet
Lecture Notes in Computer Science
935
, 1995, pp. 25-44
New structural invariant for Petri nets analysis
J.M. Couvreur
,
E. Paviot-Adet
Lecture Notes in Computer Science
815
, 1994, pp. 199-218
Generative families of positive invariant in coloured nets sub-classes
J.M. Couvreur
,
S. Haddad
,
J.F. Peyre
Lecture Notes in Computer Science
674
, 1993, pp. 51-70
A new technique for finding a generating family of siphons, traps and st-components. Application to colored Petri nets
J. Ezpeleta
,
J.M. Couvreur
,
M. Silva
Lecture Notes in Computer Science
674
, 1993, pp. 126-147