Login / Signup
Johannes Metzger
Publication Activity (10 Years)
Years Active: 2017-2017
Publications (10 Years): 1
Top Topics
Ims Ld
State Machines
Petri Net
High Level Petri Nets
Top Venues
ATAED@Petri Nets/ACSD
</>
Publications
</>
Robert Lorenz
,
Johannes Metzger
,
Lev Sorokin
Synthesis of Bounded Petri Nets from Prime Event Structures with Cutting Context using Wrong Continuations.
ATAED@Petri Nets/ACSD
(2017)