✦ LIBER ✦

Soundness of workflow nets: classification, decidability, and analysis

✍ Scribed by W. M. P. van der Aalst; K. M. van Hee; A. H. M. ter Hofstede; N. Sidorova; H. M. W. Verbeek; M. Voorhoeve; M. T. Wynn

Book ID: 105845047
Publisher: Springer
Year: 2010
Tongue: English
Weight: 1009 KB
Volume: 23
Category: Article
ISSN: 0934-5043
DOI: 10.1007/s00165-010-0161-4

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Decidability Results for Soundness Crite

Decidability Results for Soundness Criteria of Resource-Constrained Workflow Nets

✍ Tiplea, F.L.; Bocaneala, C. 📂 Article 📅 2012 🏛 IEEE 🌐 English ⚖ 263 KB

Structural soundness of workflow nets is

Structural soundness of workflow nets is decidable

✍ Ferucio Laurenţiu Ţiplea; Dan Cristian Marinescu 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 97 KB

Soundness for - and -Timed Workflow Nets

Soundness for - and -Timed Workflow Nets Is Undecidable

✍ Tiplea, F.L.; Macovei, G.I. 📂 Article 📅 2009 🏛 IEEE 🌐 English ⚖ 208 KB

Resource workflow nets: an approach to w

Resource workflow nets: an approach to workflow modelling and analysis

✍ Prisecaru, Oana Otilia 📂 Article 📅 2008 🏛 Taylor and Francis Group 🌐 English ⚖ 276 KB

Soundness analysis of compositional mode

Soundness analysis of compositional model of time-based petri nets

✍ Hong Zheng; Yue Jiang 📂 Article 📅 2011 🏛 Wuhan University 🌐 English ⚖ 397 KB

Coalgebraic modal logic: soundness, comp

Coalgebraic modal logic: soundness, completeness and decidability of local consequence

✍ Dirk Pattinson 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 275 KB

This paper studies ÿnitary modal logics, interpreted over coalgebras for an endofunctor, and establishes soundness, completeness and decidability results. The logics are studied within the abstract framework of coalgebraic modal logic, which can be instantiated with arbitrary endofunctors on the cat