Natalia Sidorova

Available identifiers

zbMath Open sidorova.nataliaMaRDI QIDQ975495

List of research outcomes

Publication	Date of Publication	Type
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Natalia Sidorova