( en | de | ru )

 

Disambiguation of "Lomazova, Irina A."

Author of the publication

copydeleteadd this publication to your clipboard
A Systematic Approach towards Object-Based Petri Net Formalisms.

, and . Ershov Memorial Conference, volume 2244 of Lecture Notes in Computer Science, page 255-267. Springer, (2001)

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 Prokofieva

Irina Poldrack

 

Other publications of authors with the same name

Analyzing Compatibility of Services via Resource Conformance., and . Fundam. Informaticae, 128 (1-2): 129-141 (2013)Discovery of Cancellation Regions within Process Mining Techniques., and . CS&P, volume 1032 of CEUR Workshop Proceedings, page 232-244. CEUR-WS.org, (2013)Structural Place Invariants for Analyzing the Behavioral Properties of Nested Petri Nets., and . Petri Nets, volume 9698 of Lecture Notes in Computer Science, page 325-344. Springer, (2016)On Occurrence Net Semantics for Petri Nets with Contacts.. FCT, volume 1279 of Lecture Notes in Computer Science, page 317-328. Springer, (1997)Nested Petri Nets for Adaptive Process Modeling.. Pillars of Computer Science, volume 4800 of Lecture Notes in Computer Science, page 460-474. Springer, (2008)Controlling Petri Net Behavior Using Priorities for Transitions., and . CS&P, volume 1269 of CEUR Workshop Proceedings, page 126-137. CEUR-WS.org, (2014)Similarity of Generalized Resources in Petri Nets., and . PaCT, volume 3606 of Lecture Notes in Computer Science, page 27-41. Springer, (2005)Checking Properties of Adaptive Workflow Nets., , , , , and . Fundam. Informaticae, 79 (3-4): 347-362 (2007)Branching Processes of Conservative Nested Petri Nets., and . VPT@CAV, volume 28 of EPiC Series in Computing, page 19-35. EasyChair, (2014)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)