Zum Inhalt springen Lomazova, Irina A.; Popova-Zeugmann, Louchka Controlling Petri Net Behavior using Priorities for Transitions Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. IOS Press, 2016 Erschienen in: Fundamenta Informaticae Lomazova, Irina A.; Romanov, Ivan V. Analyzing Compatibility of Services via Resource Conformance Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. IOS Press, 2013 Erschienen in: Fundamenta Informaticae Dworzański, Leonid W.; Lomazova, Irina A. On Compositionality of Boundedness and Liveness for Nested Petri Nets Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. IOS Press, 2012 Erschienen in: Fundamenta Informaticae Shershakov, Sergey A.; Kalenkova, Anna A.; Lomazova, Irina A. Lecture Notes in Computer Science: Transition Systems Reduction: Balancing Between Precision and Simplicity Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 2017 Erschienen in: Lecture Notes in Computer Science Bashkin, Vladimir A.; Lomazova, Irina A.; Novikova, Yulia A. Lecture Notes in Computer Science: Timed Resource Driven Automata Nets for Distributed Real-Time Systems Modelling Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 2013 Erschienen in: Lecture Notes in Computer Science Lomazova, Irina A.; Bashkin, Vladimir A.; Jančar, Petr Resource Bisimilarity in Petri Nets is Decidable Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. IOS Press, 2022 Erschienen in: Fundamenta Informaticae Carrasquel, Julio C.; Mecheraoui, Khalil; Lomazova, Irina A. Lecture Notes in Computer Science: Checking Conformance Between Colored Petri Nets and Event Logs Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer International Publishing, 2021 Erschienen in: Lecture Notes in Computer Science Kalenkova, Anna A.; van der Aalst, Wil M. P.; Lomazova, Irina A.; Rubin, Vladimir A. Process mining using BPMN: relating event logs and process models Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Science and Business Media LLC, 2017 Erschienen in: Software & Systems Modeling Shaimov, Nikita D.; Lomazova, Irina A.; Mitsyuk, Alexey A.; Samonenko, Ilya Yu. Analysis of Students’ Academic Performance using LMS Event Logs Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. P.G. Demidov Yaroslavl State University, 2022 Erschienen in: Modeling and Analysis of Information Systems Mitsyuk, Alexey A.; Lomazova, Irina A.; Van der Aalst, Wil M.P. Using Event Logs for Local Correction of Process Models Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. P.G. Demidov Yaroslavl State University, 2017 Erschienen in: Modeling and Analysis of Information Systems Kalenkova, Anna A.; Lomazova, Irina A.; van der Aalst, Wil M. P. Application and Theory of Petri Nets and Concurrency: Process Model Discovery: A Method Based on Transition System Decomposition Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer International Publishing, 2014 Erschienen in: Application and Theory of Petri Nets and Concurrency van Hee, Kees M.; Lomazova, Irina A.; Oanea, Olivia; Serebrenik, Alexander; Sidorova, Natalia; Voorhoeve, Marc Petri Nets and Other Models of Concurrency - ICATPN 2006: Nested Nets for Adaptive Systems Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 2006 Erschienen in: Petri Nets and Other Models of Concurrency - ICATPN 2006
Lomazova, Irina A.; Popova-Zeugmann, Louchka Controlling Petri Net Behavior using Priorities for Transitions Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. IOS Press, 2016 Erschienen in: Fundamenta Informaticae
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Lomazova, Irina A.; Romanov, Ivan V. Analyzing Compatibility of Services via Resource Conformance Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. IOS Press, 2013 Erschienen in: Fundamenta Informaticae
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Dworzański, Leonid W.; Lomazova, Irina A. On Compositionality of Boundedness and Liveness for Nested Petri Nets Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. IOS Press, 2012 Erschienen in: Fundamenta Informaticae
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Shershakov, Sergey A.; Kalenkova, Anna A.; Lomazova, Irina A. Lecture Notes in Computer Science: Transition Systems Reduction: Balancing Between Precision and Simplicity Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 2017 Erschienen in: Lecture Notes in Computer Science
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Bashkin, Vladimir A.; Lomazova, Irina A.; Novikova, Yulia A. Lecture Notes in Computer Science: Timed Resource Driven Automata Nets for Distributed Real-Time Systems Modelling Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 2013 Erschienen in: Lecture Notes in Computer Science
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Lomazova, Irina A.; Bashkin, Vladimir A.; Jančar, Petr Resource Bisimilarity in Petri Nets is Decidable Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. IOS Press, 2022 Erschienen in: Fundamenta Informaticae
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Carrasquel, Julio C.; Mecheraoui, Khalil; Lomazova, Irina A. Lecture Notes in Computer Science: Checking Conformance Between Colored Petri Nets and Event Logs Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer International Publishing, 2021 Erschienen in: Lecture Notes in Computer Science
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Kalenkova, Anna A.; van der Aalst, Wil M. P.; Lomazova, Irina A.; Rubin, Vladimir A. Process mining using BPMN: relating event logs and process models Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Science and Business Media LLC, 2017 Erschienen in: Software & Systems Modeling
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Shaimov, Nikita D.; Lomazova, Irina A.; Mitsyuk, Alexey A.; Samonenko, Ilya Yu. Analysis of Students’ Academic Performance using LMS Event Logs Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. P.G. Demidov Yaroslavl State University, 2022 Erschienen in: Modeling and Analysis of Information Systems
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Mitsyuk, Alexey A.; Lomazova, Irina A.; Van der Aalst, Wil M.P. Using Event Logs for Local Correction of Process Models Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. P.G. Demidov Yaroslavl State University, 2017 Erschienen in: Modeling and Analysis of Information Systems
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Kalenkova, Anna A.; Lomazova, Irina A.; van der Aalst, Wil M. P. Application and Theory of Petri Nets and Concurrency: Process Model Discovery: A Method Based on Transition System Decomposition Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer International Publishing, 2014 Erschienen in: Application and Theory of Petri Nets and Concurrency
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
van Hee, Kees M.; Lomazova, Irina A.; Oanea, Olivia; Serebrenik, Alexander; Sidorova, Natalia; Voorhoeve, Marc Petri Nets and Other Models of Concurrency - ICATPN 2006: Nested Nets for Adaptive Systems Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 2006 Erschienen in: Petri Nets and Other Models of Concurrency - ICATPN 2006
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
> Medientyp Skip to next facet Aufsätze (28) Wert ausschließen Bücher (4) Wert ausschließen zeige weitere weniger zeigen
> Zugangsstatus Skip to next facet Freier Zugang (3) Wert ausschließen Ohne Angabe (29) Wert ausschließen zeige weitere weniger zeigen
> Sprache Skip to next facet Nicht zu entscheiden (26) Wert ausschließen Englisch (6) Wert ausschließen zeige weitere weniger zeigen
> Fachgebiet Skip to next facet Informatik (9) Wert ausschließen Mathematik (8) Wert ausschließen zeige weitere weniger zeigen
> Person/Institution Skip to next facet Lomazova, Irina A. (31) Wert ausschließen Bashkin, Vladimir A. (7) Wert ausschließen Kalenkova, Anna A. (4) Wert ausschließen Loukachevitch, Natalia (4) Wert ausschließen Napoli, Amedeo (4) Wert ausschließen Pardalos, Panos M. (4) Wert ausschließen van der Aalst, Wil M. P. (4) Wert ausschließen Batagelj, Vladimir (3) Wert ausschließen Ignatov, Dmitry I. (3) Wert ausschließen Khachay, Michael (3) Wert ausschließen Kuznetsov, Sergei O. (3) Wert ausschließen Panchenko, Alexander (3) Wert ausschließen Pelillo, Marcello (3) Wert ausschließen Savchenko, Andrey V. (3) Wert ausschließen Carrasquel, Julio C. (2) Wert ausschließen Koltsova, Olessia (2) Wert ausschließen Kutuzov, Andrey (2) Wert ausschließen Mecheraoui, Khalil (2) Wert ausschließen Mitsyuk, Alexey A. (2) Wert ausschließen Tutubalina, Elena (2) Wert ausschließen Aalst, Wil van der (1) Wert ausschließen Chačaj, Michail Ju (1) Wert ausschließen Dworzanski, Leonid W. (1) Wert ausschließen Dworzański, Leonid W. (1) Wert ausschließen Glavaš, Goran (1) Wert ausschließen Ignatov, Dmitrij I. (1) Wert ausschließen Jančar, Petr (1) Wert ausschließen Kolosova, Alexandra A. (1) Wert ausschließen Kuskova, Valentina V. (1) Wert ausschließen Kuznecov, Sergej O. (1) Wert ausschließen Lempitsky, Victor (1) Wert ausschließen Lomazova, Irina A (1) Wert ausschließen Novikova, Yulia A. (1) Wert ausschließen Oanea, Olivia (1) Wert ausschließen Popova-Zeugmann, Louchka (1) Wert ausschließen Romanov, Ivan V. (1) Wert ausschließen Rubin, Vladimir A. (1) Wert ausschließen Samonenko, Ilya Yu (1) Wert ausschließen Savchenko, Andrey V (1) Wert ausschließen Schnoebelen, Philippe (1) Wert ausschließen Serebrenik, Alexander (1) Wert ausschließen Shaimov, Nikita D. (1) Wert ausschließen Shershakov, Sergey A. (1) Wert ausschließen Sidorova, Natalia (1) Wert ausschließen Van der Aalst, Wil M.P. (1) Wert ausschließen Voorhoeve, Marc (1) Wert ausschließen Wasserman, Stanley (1) Wert ausschließen van Hee, Kees M. (1) Wert ausschließen van der Aalst, Wil M.P (1) Wert ausschließen zeige weitere weniger zeigen
> Kollektion Skip to next facet Springer Berlin Heidelberg (CrossRef) (10) Wert ausschließen IOS Press (CrossRef) (9) Wert ausschließen Springer International Publishing (CrossRef) (5) Wert ausschließen Verbunddaten SWB (5) Wert ausschließen P.G. Demidov Yaroslavl State University (CrossRef) (2) Wert ausschließen Lizenzfreie Online-Ressourcen (1) Wert ausschließen Springer Science and Business Media LLC (CrossRef) (1) Wert ausschließen zeige weitere weniger zeigen