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

Volltext
kostenfrei
Volltext
Volltext
Volltext

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

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

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

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

Specification architectures definition, semantics and transformation von Padberg, Julia

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

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

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

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

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-

Survey of high-level replacement systems von Padberg, Julia

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

kostenfrei

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

Volltext
kostenfrei
Volltext
Volltext
Volltext

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

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

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

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

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

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