Die bibliographische Datenbank LEABib

Suchen • Liste der Journale • Liste der Serien • Liste der Konferenzen • Ausgewählte Publikationen	Hilfe

Suche: Author="Ridder, Hanno"

Als [bib] [pdf] [ps] [dvi] [xml] herunterladen.

Liveness in bounded Petri nets which are covered by T-invariants

Kurt Lautenbach, Hanno Ridder

Proceedings of the 15th International Conference. Application and Theory of Petri Nets 1994 (Zaragoza, Spain, June 20-24, 1994)
Lecture Notes in Computer Science 815 , 1994, pp. 358-375

Editors Robert Valette

Publisher: Springer-Verlag

Address: Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest

Keywords: liveness, linear invariants, deadlocks

Editors		Robert Valette
Publisher:		Springer-Verlag
Address:		Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest

Keywords:		liveness, linear invariants, deadlocks