Safety Preserving Transformations of Coloured Petri Nets
2000 · 0 citations
J
Julia Padberg
Claim or correct this author profile
Claim this profile or suggest corrections to the name, affiliation, bio, photo, or paper titles. Approved changes appear as verified CitedEvidence overlays.
107
Papers
1.1K
Citations
20
h-index
32
i10-index
Julia Padberg is an academic researcher. The author has contributed to research in topics: Petri Nets in System Modeling & Model-Driven Software Engineering Techniques & Business Process Modeling and Analysis. The author has an h-index of 20, co-authored 91 publications.
Papers by this author
worksAn Outline of Rule-Based Refinement for Petri Nets
1996 · 0 citations
Survey of High-Level Replacement Systems
1993 · 0 citations
ECEASST Tightly coupled verification of pervasive systems
2015 · 0 citations
ECEASST Edit languages for information trees
2015 · 0 citations
Modeling and Formal Verification of a Passive Optical Network on
2015 · 0 citations
Research topics
topicsChat about Author
Papers
Chat
Click to start Chat