External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Declarative modelling and analysis of reversing Petri nets

Yannis Dimopoulos, Eleftheria Kouppari, Anna Philippou. Declarative modelling and analysis of reversing Petri nets. In Michael Köhler-Bußmeier, Daniel Moldt, Heiko Rölke, Lorenzo Capra, Robin Bergenthum, Sander J. J. Leemans, Andrey Rivkin, Uli Fahrenberg, Loïc Hélouët, Philipp Schlehuber-Caissier, Krzysztof Ziemianski, editors, Joint Workshop Proceedings of PNSE'26, PNAS'26, ATAED'26, and PHOCON'26 co-located with the 47th International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2026), Hamburg, Germany, June 22 - 23, 2026. Volume 4236 of CEUR Workshop Proceedings, CEUR-WS.org, 2026. [doi]

Authors

Yannis Dimopoulos

This author has not been identified. Look up 'Yannis Dimopoulos' in Google

Eleftheria Kouppari

This author has not been identified. Look up 'Eleftheria Kouppari' in Google

Anna Philippou

This author has not been identified. Look up 'Anna Philippou' in Google
runs on