( en | de | ru )

 

Disambiguation of "Lomazova, Irina A."

Author of the publication

copydeleteadd this publication to your clipboard
Verification of Nested Petri Nets Using an Unfolding Approach.

, and . PNSE @ Petri Nets, volume 1591 of CEUR Workshop Proceedings, page 93-112. CEUR-WS.org, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Irina Bavykina

Investigation of ZnWO_1tn4 and CaMoO_1tn4 as target materials for the CRESST-II dark matter search. Uni München, (2009)

Irina Stojanovi

Irina Gillwald

Irina Lokteva

Irina Gradinari

 

Other publications of authors with the same name

Nested Petri Nets - a Formalism for Specification and Verification of Multi-Agent Distributed Systems.. Fundam. Informaticae, 43 (1-4): 195-214 (2000)Analyzing Compatibility of Services via Resource Conformance., and . Fundam. Informaticae, 128 (1-2): 129-141 (2013)Process mining using BPMN: relating event logs and process models., , , and . Softw. Syst. Model., 16 (4): 1019-1048 (2017)Soundness-preserving composition of synchronously and asynchronously interacting workflow net components., , , and . CoRR, (2020)Cellular Resource-Driven Automata., and . Fundam. Informaticae, 120 (3-4): 243-257 (2012)Automatic construction of systems of distributed components from nested Petri nets models., and . Program. Comput. Softw., 42 (5): 292-306 (2016)Discovery of Cancellation Regions within Process Mining Techniques., and . CS&P, volume 1032 of CEUR Workshop Proceedings, page 232-244. CEUR-WS.org, (2013)Discovery of Cancellation Regions within Process Mining Techniques., and . Fundam. Informaticae, 133 (2-3): 197-209 (2014)Nested Petri Nets: Multi-level and Recursive Systems.. Fundam. Informaticae, 47 (3-4): 283-293 (2001)Communities of Interacting Automata for Modelling Distributed Systems with Dynamic Structure.. Fundam. Informaticae, 60 (1-4): 225-235 (2004)