> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch; Hochschulschrift Titel: Semilinearity of the reachability set is decidable for Petri nets Beteiligte: Hauschildt, Dirk [VerfasserIn] Erschienen: 1990 Umfang: 160 S.; graph. Darst Sprache: Englisch RVK-Notation: ST 132 : Netztheorie, Petri-Netze ST 130 : Allgemeines Schlagwörter: Petri-Netz > Zustandsgraph > Entscheidbarkeit Entstehung: Hochschulschrift: Hamburg, Univ., Diss., 1991 Anmerkungen:
Bereichsbibliothek DrePunct – Magazin Signatur: 95 8 28255 001 Barcode: 10119454 Status: Ausleihbar, bitte bestellen > Bestellen möglich - bitte anmelden Bereitstellung voraussichtlich: 1 - 2 Tage nach Bestellung