U
Ursula Goltz
Researcher at Braunschweig University of Technology
Publications - 92
Citations - 2522
Ursula Goltz is an academic researcher from Braunschweig University of Technology. The author has contributed to research in topics: Petri net & Concurrency. The author has an hindex of 25, co-authored 91 publications receiving 2447 citations. Previous affiliations of Ursula Goltz include RWTH Aachen University & University of Hildesheim.
Papers
More filters
Journal ArticleDOI
The non-sequential behaviour of Petri nets
Ursula Goltz,Wolfgang Reisig +1 more
TL;DR: Some theorems relating K -density, cut finiteness, and discreteness are proved and the result that a place/transition net is bounded if and only if its processes are K -dense is obtained.
Journal ArticleDOI
Refinement of actions and equivalence notions for concurrent systems
Rob van Glabbeek,Ursula Goltz +1 more
TL;DR: It is proved that linear time partial order semantics are invariant under refinement and it is investigated the interplay of action refinement with abstraction in terms of equivalence notions for concurrent systems, considering both linear time and branching time approaches.
Book ChapterDOI
Equivalence notions for concurrent systems and refinement of actions
Rob van Glabbeek,Ursula Goltz +1 more
TL;DR: In this article, it was shown that linear time partial order semantics, where causality in runs is explicit, is invariant under refinement and bisimulation equivalences based on partial orders are not.
Book ChapterDOI
Refinement of actions in causality based models
R. van Glabbeek,Ursula Goltz +1 more
TL;DR: This work considers an operator for refinement of actions to be used in the design of concurrent systems and defines this refinement operation for causality based models like event structures and Petri nets.
Book ChapterDOI
On Representing CCS Programs by Finite Petri Nets
TL;DR: This work shows how the intuitive causal dependencies in a CCS program are represented via the net semantics via the usual interleaving semantics.