Suchergebnisse - Urbášek, Milan

  • Treffer 1 – 3 von 3
Treffer filtern
  1. 1
    Buchumschlag

    New safety property and liveness preserving morphisms of P/T systems
    von Urbášek, Milan

    Veröffentlicht 2002
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    Rule based refinement for place transition systems: preserving liveness properties
    von Gajewsky, Maike, Padberg, Julia, Urbášek, Milan

    Veröffentlicht 2001
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    Categorical net transformations for Petri net technology
    von Urbášek, Milan

    Veröffentlicht 2003
    Buch


    Gespeichert in:

Suchwerkzeuge: