PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Popova-Zeugmann, Louchka"

Author of the publication

copydeleteadd this publication to your clipboard
Verification of Non-functional Properties of a Composable Architecture with Petrinets.

, , and . Fundam. Inform., 51 (1-2): 185-200 (2002)

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.

No persons found for author name Popova-Zeugmann, Louchka
add a person with the name Popova-Zeugmann, Louchka
 

Other publications of authors with the same name

Controlling Petri Net Behavior Using Time Constraints., and . CS&P, volume 1492 of CEUR Workshop Proceedings, page 19-33. CEUR-WS.org, (2015)Petri Nets with Time Windows: A Comparison to Classical Petri Nets., and . Fundam. Inform., 93 (1-3): 337-352 (2009)Controlling Petri Net Behavior using Priorities for Transitions., and . Fundam. Inform., 143 (1-2): 101-112 (2016)"Truly concurrent" and nondeterministic semantics of discrete-time Petri nets., , and . Programming and Computer Software, 42 (4): 187-197 (2016)Zeit-Petri-Netze.. Humboldt University of Berlin, Unter den Linden, Germany, (1989)Time and Petri Nets.. Springer, (2013)Time and Concurrency - Three Approaches for Intertwining Time and Petri Nets.. CS&P, volume 1492 of CEUR Workshop Proceedings, page 3. CEUR-WS.org, (2015)A Holistic State Equation for Timed Petri Nets., , , and . Fundam. Inform., 133 (2-3): 305-322 (2014)Branching Processes of Timed Petri Nets., , and . Ershov Memorial Conference, volume 9609 of Lecture Notes in Computer Science, page 303-313. Springer, (2015)Time Petri Nets for Modelling and Analysis of Biochemical Networks., , and . Fundam. Inform., 67 (1-3): 149-162 (2005)