Login / Signup
Arthur Bartels
Publication Activity (10 Years)
Years Active: 2017-2017
Publications (10 Years): 1
Top Topics
Sequence Diagrams
Petri Net
Ims Ld
Discrete Event Systems
Top Venues
CoDIT
</>
Publications
</>
Irina A. Lomazova
,
Louchka Popova-Zeugmann
,
Arthur Bartels
Controlling boundedness for live Petri nets.
CoDIT
(2017)