New safety property and liveness preserving morphisms of P/T systems new developments in the area of property preserving net model transformations

Bibliographische Detailangaben

1. Verfasser:	Urbášek, Milan (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Berlin Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4 2002
Schriftenreihe:	Forschungsberichte des Fachbereichs Informatik / Technische Universität Berlin Report No. 2002,14
Schlagworte:	Forschungsbericht
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!