2016/01/08 by Javier Esparza, Esparza, Javier, Philipp Hoffmann +1
Business, Management and Accounting · Computer Science · #Advanced Database Systems and Queries #Business Process Modeling and Analysis #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Petri Nets in System Modeling #cs.LO
paper · pdf · doi:10.48550/arxiv.1601.01928
arxiv created 2016/01/08 · openalex publication_date 2016/01/08 · arxiv updated 2016/01/11 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
We study Colored Workflow nets, a model based on Workflow nets enriched with data. Based on earlier work by Esparza and Desel[arXiv:1307.2145,arXiv:1403.4958] on the negotiation model of concurrency, 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.