On processes of object Petri nets

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Valk, Rüdiger (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Hamburg Univ., Bibliothek des Fachbereichs Informatik 1996
Schriftenreihe:	Bericht / Universität Hamburg, Fachbereich Informatik 185
Schlagworte:	Forschungsbericht > Petri-Netz > Nebenläufigkeit > Formale Sprache > Interleaving > Berechenbarkeit > Erreichbarkeit > Entscheidbarkeit
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	45 S graph. Darst