Suchergebnisse - Padberg, Julia

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

    Algebraic high level nets: Petri nets revisited
    von Ehrig, Hartmut 1944-2016, Padberg, Julia, Ribeiro, Leila

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    Embedding of derivations in high-level replacement systems
    von Padberg, Julia, Taentzer, Gabriele 1963-

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    Behaviour and realization construction for Petri nets based on free monoid and power set graphs
    von Ehrig, Hartmut 1944-2016, Padberg, Julia, Rozenberg, Grzegorz 1942-

    Veröffentlicht 1994
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    Survey of high-level replacement systems
    von Padberg, Julia

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    Algebraic high-level net transformation systems
    von Padberg, Julia, Ehrig, Hartmut 1944-2016, Ribeiro, Leila

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

    Formal development of concurrent systems using algebraic high-level nets and transformations
    von Ribeiro, Leila, Ehrig, Hartmut 1944-2016, Padberg, Julia

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

    Towards partial composition of components: formal foundation for component verification
    von Padberg, Julia

    Veröffentlicht 2008
    Online lesen (frei zugänglich)
    Elektronisch E-Book


    Gespeichert in:
  8. 8
    Buchumschlag

    Formal Foundation for the transformation-based approach to component verification
    von Padberg, Julia

    Veröffentlicht 2006
    Buch


    Gespeichert in:
  9. 9
    Buchumschlag

    Safety preserving transformations of coloured Petri Nets
    von Padberg, Julia, Gajewsky, Maike

    Veröffentlicht 2000
    Buch


    Gespeichert in:
  10. 10
    Buchumschlag

    Specification architectures: definition, semantics and transformation
    von Padberg, Julia

    Veröffentlicht 2002
    Buch


    Gespeichert in:
  11. 11
    Buchumschlag

    Place transition net modules: transfer from specification modules
    von Padberg, Julia

    Veröffentlicht 2002
    Buch


    Gespeichert in:
  12. 12
    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:
  13. 13
    Buchumschlag

    Relevance, integration and classification of specification formalisms and formal specification techniques
    von Ehrig, Hartmut 1944-2016, Orejas, Fernando, Padberg, Julia

    Veröffentlicht 1999
    Buch


    Gespeichert in:
  14. 14
    Buchumschlag

    Abstract Petri nets: uniform approach and rule based refinement
    von Padberg, Julia

    Veröffentlicht 1996
    Hochschulschrift/Dissertation Buch


    Gespeichert in:
  15. 15
    Buchumschlag

    Towards partial composition of components: formal foundation for component verification
    von Padberg, Julia

    Veröffentlicht 2008
    Online lesen (frei zugänglich)
    Buch


    Gespeichert in:
  16. 16
    Buchumschlag

    Concurrency in reconfigurable place/transition systems: independance of net transformations as well as net transformations and token firing
    von Ehrig, Hartmut 1944-2016, Ermel, Claudia, Hoffmann, Kathrin, Padberg, Julia, Prange, Ulrike

    Veröffentlicht 2007
    Online lesen (frei zugänglich)
    Elektronisch E-Book


    Gespeichert in:
  17. 17
    Buchumschlag

    Formal specification and rule-based refinement of software components
    von Padberg, Julia

    Veröffentlicht 2006
    Hochschulschrift/Dissertation Buch


    Gespeichert in:
  18. 18
    Buchumschlag

    Place preserving and transition gluing morphisms in rule-based refinement of place transition systems
    von Gajewsky, Maike, Hoffmann, Kathrin, Padberg, Julia

    Veröffentlicht 1999
    Buch


    Gespeichert in:
  19. 19
    Buchumschlag

    Refinement versus verification: compatibility of net invariants and stepwise development of high level petri nets
    von Padberg, Julia

    Veröffentlicht 1997
    Buch


    Gespeichert in:
  20. 20
    Buchumschlag

    Algebraic high-level nets and transformations with initial marings
    von Ribeiro, Leila, Padberg, Julia

    Veröffentlicht 1994
    Buch


    Gespeichert in:

Suchwerkzeuge: