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

Wombacher, Andreas and Martens, Axel (2007) Soundness and Equivalence of Petri Nets and Annotated Finite State Automate: A Comparison in the SOA Context. In: Inaugural IEEE-IES Digital EcoSystems and Technologies Conference, DEST 2007, 21-23 February 2007, Cairns, Australia.

Preview

PDF
264Kb

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.
Item Type:	Conference or Workshop Item
Copyright:	© 2007 IEEE
Faculty:	Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:	Databases (DB)
Link to this item:	http://purl.utwente.nl/publications/64416
Official URL:	http://dx.doi.org/10.1109/DEST.2007.371980
Export this item as:	BibTeX EndNote HTML Citation Reference Manager

Show download statistics for this publication

Repository Staff Only: item control page

Metis ID: 241993