( en | de | ru )

 

Disambiguation of "Pelz, Elisabeth"

Author of the publication

copydeleteadd this publication to your clipboard
CALIBAN - Esprit Basic Research WG 6067.

, , , , , and . STRICT, page 2-31. Springer, (1995)

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.

Angela Pelz

Josef Pelz

Helmut Pelz

Volker Pelz

Sabine Pelz

 

Other publications of authors with the same name

Improved Implementations via a New Structural Equivalence on Labelled Nets., and . ICATPN, volume 1248 of Lecture Notes in Computer Science, page 117-135. Springer, (1997)A Holistic State Equation for Timed Petri Nets., , , and . CS&P, volume 1032 of CEUR Workshop Proceedings, page 448-456. CEUR-WS.org, (2013)Timed Processes of Interval-Timed Petri Nets.. CS&P, volume 1698 of CEUR Workshop Proceedings, page 13-24. CEUR-WS.org, (2016)Small Universal Non-deterministic Petri Nets with Inhibitor Arcs., , and . DCFS, volume 8614 of Lecture Notes in Computer Science, page 186-197. Springer, (2014)Infinitary languages of Petri nets and logical sentences.. European Workshop on Applications and Theory of Petri Nets, volume 266 of Lecture Notes in Computer Science, page 224-237. Springer, (1986)A logical formalism for the study of the infinite behaviour of Petri nets., and . Applications and Theory in Petri Nets, volume 222 of Lecture Notes in Computer Science, page 346-361. Springer, (1985)Small Universal Petri Nets with Inhibitor Arcs., , and . CoRR, (2013)Normalization of place/transition-systems preserves net behaviour.. RAIRO Theor. Informatics Appl., (1992)Full Axiomatisation of Timed Processes of Interval-Timed Petri Nets.. Fundam. Informaticae, 157 (4): 427-442 (2018)On the Complexity of Theories of Permutations.. Theor. Comput. Sci., (1985)