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? A soundness perspective	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. Weak termination preserved!	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
Working with the past: integrating history in Petri nets	2009-02-12	Paper
Token history Petri nets	2009-01-28	Paper
Checking properties of adaptive workflow nets	2007-10-17	Paper
Model Checking Software	2007-09-28	Paper
Resource-constrained workflow nets	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