Author of the publication

Concurrency, Synchronization, and Conflicts in Petri Nets.

. CIAA, volume 5148 of Lecture Notes in Computer Science, page 33-35. Springer, (2008)

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.

 

Other publications of authors with the same name

Effective pseudo-relevance feedback for language modeling in extractive speech summarization., , , , , , and . ICASSP, page 3226-3230. IEEE, (2014)Analysis of Self-Stabilization for Infinite-State Systems.. ICECCS, page 240-248. IEEE Computer Society, (2001)Unfolding Orthogonal Polyhedra with Linear Refinement., and . ISAAC, volume 9472 of Lecture Notes in Computer Science, page 415-425. Springer, (2015)Computing Minimal Elements of Upward-Closed Sets for Petri Nets., and . ICATPN, volume 4546 of Lecture Notes in Computer Science, page 465-483. Springer, (2007)Some Complexity Results for Rings of Petri Nets., , and . Int. J. Found. Comput. Sci., 5 (3/4): 282-292 (1994)A Unified Approach for Reasoning about Conflict-Free Petri Nets., , and . Application and Theory of Petri Nets, volume 691 of Lecture Notes in Computer Science, page 513-531. Springer, (1993)Boundedness, Empty Channel Detection and Synchronization for Communicating Finite State Machines., and . STACS, volume 182 of Lecture Notes in Computer Science, page 287-298. Springer, (1985)Characterizing the Valuedness of Two-Way Finite Transducers., and . DLT, volume 11647 of Lecture Notes in Computer Science, page 100-112. Springer, (2019)Concurrency, Synchronization, and Conflicts in Petri Nets.. CIAA, volume 5148 of Lecture Notes in Computer Science, page 33-35. Springer, (2008)Petri Nets with Simple Circuits., and . COCOON, volume 2697 of Lecture Notes in Computer Science, page 149-158. Springer, (2003)