Остановите войну!
for scientists:
default search action
Natalia Sidorova
- > Home > Persons > Natalia Sidorova
Publications
- 2013
- [j21]Kees M. van Hee, Natalia Sidorova, Jan Martijn E. M. van der Werf:
Refinement of Synchronizable Places with Multi-workflow Nets. Fundam. Informaticae 122(1-2): 59-83 (2013) - [j20]Kees M. van Hee, Natalia Sidorova, Jan Martijn E. M. van der Werf:
Business Process Modeling Using Petri Nets. Trans. Petri Nets Other Model. Concurr. 7: 116-161 (2013) - [j19]Kees M. van Hee, Natalia Sidorova, Jan Martijn E. M. van der Werf:
When Can We Trust a Third Party? - A Soundness Perspective. Trans. Petri Nets Other Model. Concurr. 8: 106-122 (2013) - [c60]Kees M. van Hee, Natalia Sidorova:
The Right Timing: Reflections on the Modeling and Analysis of Time. Petri Nets 2013: 1-20 - 2012
- [c56]Kees M. van Hee, Natalia Sidorova, Jan Martijn E. M. van der Werf:
When Can We Trust a Third Party? - A Soundness Perspective. PNSE 2012: 47-59 - 2011
- [j17]Wil M. P. van der Aalst, Kees M. van Hee, Arthur H. M. ter Hofstede, Natalia Sidorova, H. M. W. Verbeek, Marc Voorhoeve, Moe Thandar Wynn:
Soundness of workflow nets: classification, decidability, and analysis. Formal Aspects Comput. 23(3): 333-363 (2011) - [c50]Kees M. van Hee, Natalia Sidorova, Jan Martijn E. M. van der Werf:
Refinement of Synchronizable Places with Multi-workflow Nets - Weak Termination Preserved! Petri Nets 2011: 149-168 - [c49]Kees M. van Hee, Marcello La Rosa, Zheng Liu, Natalia Sidorova:
Discovering Characteristics of Stochastic Collections of Process Models. BPM 2011: 298-312 - [c46]Kees M. van Hee, Zheng Liu, Natalia Sidorova:
Is my event log complete? - A probabilistic approach to process mining. RCIS 2011: 1-7 - 2010
- [c40]Kees M. van Hee, Natalia Sidorova, Jan Martijn E. M. van der Werf:
Construction of Asynchronous Communicating Systems: Weak Termination Guaranteed! SC@TOOLS 2010: 106-121 - [c39]Kees M. van Hee, Arjan J. Mooij, Natalia Sidorova, Jan Martijn E. M. van der Werf:
Soundness-Preserving Refinements of Service Compositions. WS-FM 2010: 131-145 - 2009
- [j14]Kees M. van Hee, Natalia Sidorova, Marc Voorhoeve, Jan Martijn E. M. van der Werf:
Generation of Database Transactions with Petri Nets. Fundam. Informaticae 93(1-3): 171-184 (2009) - [j13]Kees M. van Hee, H. M. W. Verbeek, Christian Stahl, Natalia Sidorova:
A Framework for Linking and Pricing No-Cure-No-Pay Services. Trans. Petri Nets Other Model. Concurr. 2: 192-207 (2009) - [j12]Wil M. P. van der Aalst, Kees M. van Hee, Arthur H. M. ter Hofstede, Natalia Sidorova, H. M. W. Verbeek, Marc Voorhoeve, Moe Thandar Wynn:
Soundness of Workflow Nets with Reset Arcs. Trans. Petri Nets Other Model. Concurr. 3: 50-70 (2009) - [c38]Wil M. P. van der Aalst, Kees M. van Hee, Peter Massuthe, Natalia Sidorova, Jan Martijn E. M. van der Werf:
Compositional Service Trees. Petri Nets 2009: 283-302 - [c35]Helen Schonenberg, Natalia Sidorova, Wil M. P. van der Aalst, Kees M. van Hee:
History-Dependent Stochastic Petri Nets. Ershov Memorial Conference 2009: 366-379 - 2008
- [j11]Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve:
History-based joins: Semantics, soundness and implementation. Data Knowl. Eng. 64(1): 24-37 (2008) - [j10]Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova:
Token History Petri Nets. Fundam. Informaticae 85(1-4): 219-234 (2008) - [j9]Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Wil M. P. van der Aalst:
Working with the Past: Integrating History in Petri Nets. Fundam. Informaticae 88(3): 387-409 (2008) - [j6]Kees M. van Hee, Jeroen Keiren, Reinier Post, Natalia Sidorova, Jan Martijn E. M. van der Werf:
Designing Case Handling Systems. Trans. Petri Nets Other Model. Concurr. 1: 119-133 (2008) - 2007
- [j5]Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, Jan van der Wal:
Scheduling-free resource management. Data Knowl. Eng. 61(1): 59-75 (2007) - [j4]Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, Irina A. Lomazova:
Checking Properties of Adaptive Workflow Nets. Fundam. Informaticae 79(3-4): 347-362 (2007) - [j3]Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve:
LogLogics: A logic for history-dependent business processes. Sci. Comput. Program. 65(1): 30-40 (2007) - [c31]Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Wil M. P. van der Aalst:
History-Dependent Petri Nets. ICATPN 2007: 164-183 - [c30]Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, Jan Martijn E. M. van der Werf:
Modelling with History-Dependent Petri Nets. BPM 2007: 320-327 - [c29]Kees M. van Hee, Helen Schonenberg, Alexander Serebrenik, Natalia Sidorova, Jan Martijn E. M. van der Werf:
Adaptive Workflows for Healthcare Information Systems. Business Process Management Workshops 2007: 359-370 - [c26]Carmen Bratosin, Kees M. van Hee, Natalia Sidorova:
Adaptive Workflow Nets for Grid Computing. PaCT 2007: 15-21 - 2006
- [j2]Kees M. van Hee, Natalia Sidorova, Lou J. Somers, Marc Voorhoeve:
Consistency in model integration. Data Knowl. Eng. 56(1): 4-22 (2006) - [j1]Kees M. van Hee, Natalia Sidorova, Marc Voorhoeve:
Resource-Constrained Workflow Nets. Fundam. Informaticae 71(2-3): 243-257 (2006) - [c25]Kees M. van Hee, Irina A. Lomazova, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve:
Nested Nets for Adaptive Systems. ICATPN 2006: 241-260 - [c24]Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve:
History-Based Joins: Semantics, Soundness and Implementation. Business Process Management 2006: 225-240 - [c22]Kees M. van Hee, Olivia Oanea, Natalia Sidorova, Marc Voorhoeve:
Verifying Generalized Soundness of Workflow Nets. Ershov Memorial Conference 2006: 235-247 - [c21]Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve:
Modelling History-Dependent Business Processes. MSVVEIS 2006: 76-85 - 2005
- [c20]Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve:
Soundness of Resource-Constrained Workflow Nets. ICATPN 2005: 250-267 - [c18]Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, Jan van der Wal:
The Price of Coordination in Resource Management. Business Process Management 2005: 96-108 - [c16]Kees M. van Hee, Olivia Oanea, Natalia Sidorova:
Colored Petri Nets to Verify Extended Event-Driven Process Chains. OTM Conferences (1) 2005: 183-201 - 2004
- [c15]Kees M. van Hee, Natalia Sidorova, Marc Voorhoeve:
Generalised Soundness of Workflow Nets Is Decidable. ICATPN 2004: 197-215 - [c14]Kees M. van Hee, Natalia Sidorova, Lou J. Somers, Marc Voorhoeve:
Consistency in Model Integration. Business Process Management 2004: 1-16 - 2003
- [c12]Kees M. van Hee, Natalia Sidorova, Marc Voorhoeve:
Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach. ICATPN 2003: 337-356
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 01:59 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint