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.

Between Expressiveness and Verifiability: P/T-nets with Synchronous Channels and Modular Structure

Lukas Voß, Sven Willrodt, Daniel Moldt, Michael Haustermann. Between Expressiveness and Verifiability: P/T-nets with Synchronous Channels and Modular Structure. In Michael Köhler-Bussmeier, Daniel Moldt, Heiko Rölke, editors, Petri Nets and Software Engineering 2022 co-located with the 43rd International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2022), Bergen, Norway, June 20th, 2022. Volume 3170 of CEUR Workshop Proceedings, pages 40-59, CEUR-WS.org, 2022. [doi]

Abstract

Abstract is missing.

runs on