The following pages link to Natalia Sidorova (Q975495):
Displayed 36 items.
- Item:Q975495 (redirect page) (← links)
- Soundness of workflow nets: classification, decidability, and analysis (Q539433) (← links)
- Can I find a partner? Undecidability of partner existence for open nets (Q975497) (← links)
- The imprecisions of precision measures in process mining (Q1708257) (← links)
- Aligning event logs to resource-constrained \(\nu \)-Petri nets (Q2165247) (← links)
- (Q2729079) (← links)
- (Q2766577) (← links)
- (Q2779795) (← links)
- When Can We Trust a Third Party? (Q2849444) (← links)
- Refinement of Synchronizable Places with Multi-workflow Nets (Q3011886) (← links)
- (Q3043804) (← links)
- Verifying Generalized Soundness of Workflow Nets (Q3401950) (← links)
- History-Dependent Stochastic Petri Nets (Q3402290) (← links)
- Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach (Q3550623) (← links)
- (Q3601867) (← links)
- Bug Hunting with False Negatives (Q3608882) (← links)
- History-Dependent Petri Nets (Q3612932) (← links)
- Nested Nets for Adaptive Systems (Q3618708) (← links)
- A Framework for Linking and Pricing No-Cure-No-Pay Services (Q3623826) (← links)
- Compositional Service Trees (Q3636850) (← links)
- Soundness of Workflow Nets with Reset Arcs (Q3651240) (← links)
- (Q4736989) (← links)
- (Q4779117) (← links)
- (Q4808850) (← links)
- Refinement of Synchronizable Places with Multi-workflow Nets (Q4914292) (← links)
- Business Process Modeling Using Petri Nets (Q4924447) (← links)
- (Q5192932) (← links)
- The Right Timing: Reflections on the Modeling and Analysis of Time (Q5300862) (← links)
- Model Checking Software (Q5308377) (← links)
- Formal Methods for Components and Objects (Q5311293) (← links)
- (Q5422282) (← links)
- (Q5480657) (← links)
- (Q5506369) (← links)
- Applications and Theory of Petri Nets 2004 (Q5712330) (← links)
- Applications and Theory of Petri Nets 2005 (Q5713505) (← links)
- Perspectives of System Informatics (Q5902411) (← links)