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)
44 Downloads (Pure)

Abstract

A lot of work exists on notions of equivalence and soundness relations of different workflow models, which are used in different domains like e.g. Business Process Modeling, Software and Service Engineering. These definitions are based on different models, including Petri Nets and different versions of Finite State Automata, having different expressiveness and computational complexity classes. The aim of this paper is to compare the equivalence and soundness relations of the Petri Net and annotated Finite State Automaton models in the context of Service Oriented Architectures. It turns out that up to a certain expressiveness the relations are comparable and computable with reasonable effort. For these cases also mappings between the different models and relations are presented.
Original languageUndefined
Title of host publicationDigital EcoSystems and Technologies Conference, 2007. DEST '07. Inaugural IEEE-IES
PublisherIEEE Computer Society
Pages257-262
Number of pages6
ISBN (Print)1-4244-0470-3
DOIs
Publication statusPublished - Feb 2007
Event2007 Inaugural IEEE International Conference on Digital Ecosystems and Technologies, DEST 2007 - Rydges Tradewinds Cairns, Cairns, Australia
Duration: 21 Feb 200723 Feb 2007

Publication series

Name
PublisherIEEE Computer Society
NumberLNCS4549

Conference

Conference2007 Inaugural IEEE International Conference on Digital Ecosystems and Technologies, DEST 2007
Abbreviated titleDEST
CountryAustralia
CityCairns
Period21/02/0723/02/07

Keywords

  • EWI-11244
  • METIS-241993
  • IR-64416

Cite this

Wombacher, A., & Martens, A. (2007). Soundness and Equivalence of Petri Nets and Annotated Finite State Automate: A Comparison in the SOA Context. In Digital EcoSystems and Technologies Conference, 2007. DEST '07. Inaugural IEEE-IES (pp. 257-262). [10.1109/DEST.2007.371980] IEEE Computer Society. https://doi.org/10.1109/DEST.2007.371980