Reduction rules for colored workflow nets

Javier Esparza; Philipp Hoffmann

doi:10.1007/978-3-662-49665-7_20

Reduction rules for colored workflow nets

Javier Esparza, Philipp Hoffmann

Informatics 7 - Chair of Theoretical Computer Science

Technical University of Munich

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

21 Scopus citations

Abstract

We study Colored Workflow nets [8], a model based on Workflow nets [14] enriched with data. Based on earlier work by Esparza and Desel on the negotiation model of concurrency [3,4], we present reduction rules for our model. Contrary to previous work, our rules preserve not only soundness, but also the data flow semantics. For free choice nets, the rules reduce all sound nets (and only them) to a net with one single transition and the same data flow semantics. We give an explicit algorithm that requires only a polynomial number of rule applications.

Original language	English
Title of host publication	Fundamental Approaches to Software Engineering - 19th International Conference, FASE 2016 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Proceedings
Editors	Andrzej Wasowski, Perdita Stevens
Publisher	Springer Verlag
Pages	342-358
Number of pages	17
ISBN (Print)	9783662496640
DOIs	https://doi.org/10.1007/978-3-662-49665-7_20
State	Published - 2016
Event	19th International Conference on Fundamental Approaches to Software Engineering, FASE 2016 Held as Part of European Joint Conferences on Theory and Practice of Software, ETAPS 2016 - Eindhoven, Netherlands Duration: 2 Apr 2016 → 8 Apr 2016

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	9633
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	19th International Conference on Fundamental Approaches to Software Engineering, FASE 2016 Held as Part of European Joint Conferences on Theory and Practice of Software, ETAPS 2016
Country/Territory	Netherlands
City	Eindhoven
Period	2/04/16 → 8/04/16

Access to Document

10.1007/978-3-662-49665-7_20

Cite this

Esparza, J., & Hoffmann, P. (2016). Reduction rules for colored workflow nets. In A. Wasowski, & P. Stevens (Eds.), Fundamental Approaches to Software Engineering - 19th International Conference, FASE 2016 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Proceedings (pp. 342-358). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9633). Springer Verlag. https://doi.org/10.1007/978-3-662-49665-7_20

Esparza, Javier ; Hoffmann, Philipp. / Reduction rules for colored workflow nets. Fundamental Approaches to Software Engineering - 19th International Conference, FASE 2016 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Proceedings. editor / Andrzej Wasowski ; Perdita Stevens. Springer Verlag, 2016. pp. 342-358 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{b84c7ff3313e4bad90924ac05e50d5fa,

title = "Reduction rules for colored workflow nets",

abstract = "We study Colored Workflow nets [8], a model based on Workflow nets [14] enriched with data. Based on earlier work by Esparza and Desel on the negotiation model of concurrency [3,4], we present reduction rules for our model. Contrary to previous work, our rules preserve not only soundness, but also the data flow semantics. For free choice nets, the rules reduce all sound nets (and only them) to a net with one single transition and the same data flow semantics. We give an explicit algorithm that requires only a polynomial number of rule applications.",

author = "Javier Esparza and Philipp Hoffmann",

note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 2016.; 19th International Conference on Fundamental Approaches to Software Engineering, FASE 2016 Held as Part of European Joint Conferences on Theory and Practice of Software, ETAPS 2016 ; Conference date: 02-04-2016 Through 08-04-2016",

year = "2016",

doi = "10.1007/978-3-662-49665-7_20",

language = "English",

isbn = "9783662496640",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "342--358",

editor = "Andrzej Wasowski and Perdita Stevens",

booktitle = "Fundamental Approaches to Software Engineering - 19th International Conference, FASE 2016 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Proceedings",

}

Esparza, J & Hoffmann, P 2016, Reduction rules for colored workflow nets. in A Wasowski & P Stevens (eds), Fundamental Approaches to Software Engineering - 19th International Conference, FASE 2016 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9633, Springer Verlag, pp. 342-358, 19th International Conference on Fundamental Approaches to Software Engineering, FASE 2016 Held as Part of European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, Netherlands, 2/04/16. https://doi.org/10.1007/978-3-662-49665-7_20

Reduction rules for colored workflow nets. / Esparza, Javier; Hoffmann, Philipp.
Fundamental Approaches to Software Engineering - 19th International Conference, FASE 2016 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Proceedings. ed. / Andrzej Wasowski; Perdita Stevens. Springer Verlag, 2016. p. 342-358 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9633).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Reduction rules for colored workflow nets

AU - Esparza, Javier

AU - Hoffmann, Philipp

N1 - Publisher Copyright: © Springer-Verlag Berlin Heidelberg 2016.

PY - 2016

Y1 - 2016

N2 - We study Colored Workflow nets [8], a model based on Workflow nets [14] enriched with data. Based on earlier work by Esparza and Desel on the negotiation model of concurrency [3,4], we present reduction rules for our model. Contrary to previous work, our rules preserve not only soundness, but also the data flow semantics. For free choice nets, the rules reduce all sound nets (and only them) to a net with one single transition and the same data flow semantics. We give an explicit algorithm that requires only a polynomial number of rule applications.

AB - We study Colored Workflow nets [8], a model based on Workflow nets [14] enriched with data. Based on earlier work by Esparza and Desel on the negotiation model of concurrency [3,4], we present reduction rules for our model. Contrary to previous work, our rules preserve not only soundness, but also the data flow semantics. For free choice nets, the rules reduce all sound nets (and only them) to a net with one single transition and the same data flow semantics. We give an explicit algorithm that requires only a polynomial number of rule applications.

UR - http://www.scopus.com/inward/record.url?scp=84961710246&partnerID=8YFLogxK

U2 - 10.1007/978-3-662-49665-7_20

DO - 10.1007/978-3-662-49665-7_20

M3 - Conference contribution

AN - SCOPUS:84961710246

SN - 9783662496640

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 342

EP - 358

BT - Fundamental Approaches to Software Engineering - 19th International Conference, FASE 2016 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Proceedings

A2 - Wasowski, Andrzej

A2 - Stevens, Perdita

PB - Springer Verlag

T2 - 19th International Conference on Fundamental Approaches to Software Engineering, FASE 2016 Held as Part of European Joint Conferences on Theory and Practice of Software, ETAPS 2016

Y2 - 2 April 2016 through 8 April 2016

ER -

Esparza J, Hoffmann P. Reduction rules for colored workflow nets. In Wasowski A, Stevens P, editors, Fundamental Approaches to Software Engineering - 19th International Conference, FASE 2016 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Proceedings. Springer Verlag. 2016. p. 342-358. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-662-49665-7_20

Reduction rules for colored workflow nets

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this