New safety property and liveness preserving morphisms of P/T systems:
Gespeichert in:
Bibliographische Detailangaben
Beteilige Person: Urbášek, Milan (VerfasserIn)
Format: Buch
Sprache:Englisch
Veröffentlicht: Berlin Techn. Univ. Berlin, Fakultät IV, Elektrotechnik und Informatik 2002
Schriftenreihe:Forschungsberichte der Fakultät IV, Elektrotechnik und Informatik 2002,14
Schlagwörter:
Umfang:93 S. graph. Darst.