Soundness and Equivalence of Petri Nets and Annotated Finite State Automate: A Comparison in the SOA Context

Andreas Wombacher, Axel Martens

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2 Citations (Scopus)
106 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Soundness and Equivalence of Petri Nets and Annotated Finite State Automate: A Comparison in the SOA Context'. Together they form a unique fingerprint.