Natalia Sidorova

Available identifiers

zbMath Open sidorova.nataliaMaRDI QIDQ975495

List of research outcomes

Publication	Date of Publication	Type
Exact and approximated log alignments for processes with inter-case dependencies	2023-11-16	Paper
Aligning event logs to resource-constrained \(\nu \)-Petri nets	2022-08-19	Paper
The imprecisions of precision measures in process mining	2018-04-05	Paper
When Can We Trust a Third Party?	2013-09-17	Paper
The Right Timing: Reflections on the Modeling and Analysis of Time	2013-06-28	Paper
Business Process Modeling Using Petri Nets	2013-05-31	Paper
Refinement of Synchronizable Places with Multi-workflow Nets	2013-04-18	Paper
Refinement of Synchronizable Places with Multi-workflow Nets	2011-06-29	Paper
Soundness of workflow nets: classification, decidability, and analysis	2011-05-30	Paper
Can I find a partner? Undecidability of partner existence for open nets	2010-06-09	Paper
Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach	2010-03-31	Paper
Verifying Generalized Soundness of Workflow Nets	2010-02-02	Paper
History-Dependent Stochastic Petri Nets	2010-02-02	Paper
Perspectives of System Informatics	2010-01-05	Paper
Soundness of Workflow Nets with Reset Arcs	2009-12-09	Paper
https://portal.mardi4nfdi.de/entity/Q5192932	2009-08-10	Paper
Compositional Service Trees	2009-06-30	Paper
A Framework for Linking and Pricing No-Cure-No-Pay Services	2009-04-24	Paper
Nested Nets for Adaptive Systems	2009-04-02	Paper
History-Dependent Petri Nets	2009-03-11	Paper
Bug Hunting with False Negatives	2009-03-06	Paper
https://portal.mardi4nfdi.de/entity/Q3601867	2009-02-12	Paper
https://portal.mardi4nfdi.de/entity/Q5506369	2009-01-28	Paper
https://portal.mardi4nfdi.de/entity/Q5422282	2007-10-17	Paper
Model Checking Software	2007-09-28	Paper
https://portal.mardi4nfdi.de/entity/Q5480657	2006-08-03	Paper
Applications and Theory of Petri Nets 2004	2005-12-23	Paper
Applications and Theory of Petri Nets 2005	2005-12-14	Paper
Formal Methods for Components and Objects	2005-08-22	Paper
https://portal.mardi4nfdi.de/entity/Q4808850	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4736989	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q3043804	2004-08-06	Paper
https://portal.mardi4nfdi.de/entity/Q4779117	2002-11-24	Paper
https://portal.mardi4nfdi.de/entity/Q2766577	2002-06-17	Paper
https://portal.mardi4nfdi.de/entity/Q2779795	2002-04-15	Paper
https://portal.mardi4nfdi.de/entity/Q2729079	2001-11-06	Paper

Research outcomes over time

This page was built for person: Natalia Sidorova