Login / Signup
Lars Michael Kristensen
ORCID
Publication Activity (10 Years)
Years Active: 1997-2024
Publications (10 Years): 51
Top Topics
Coloured Petri Nets
Model Checking
Petri Net
Transformation Rules
Top Venues
NIK
Trans. Petri Nets Other Model. Concurr.
PNSE @ Petri Nets
PNSE@Petri Nets
</>
Publications
</>