Login / Signup
Nikolai M. Suvorov
ORCID
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 1
Top Topics
Data Analysis
Event Logs
Petri Net
Knowledge Based Systems
Top Venues
J. Log. Algebraic Methods Program.
</>
Publications
</>
Nikolai M. Suvorov
,
Irina A. Lomazova
Verification of data-aware process models: Checking soundness of data Petri nets.
J. Log. Algebraic Methods Program.
138 (2024)