Soundness for resource-constrained workflow nets is decidable

Research output: Contribution to journal › Article › Academic › peer-review

13 Citations (Scopus)

Original language	English
Pages (from-to)	724-729
Journal	IEEE Transactions on Systems, Man, and Cybernetics: Systems
Volume	43
Issue number	3
DOIs	https://doi.org/10.1109/TSMCA.2012.2210415
Publication status	Published - 2013

Access to Document

@article{78d72edd1470401686ef569634d9434e,

title = "Soundness for resource-constrained workflow nets is decidable",

author = "N. Sidorova and C. Stahl",

year = "2013",

doi = "10.1109/TSMCA.2012.2210415",

language = "English",

volume = "43",

pages = "724--729",

journal = "IEEE Transactions on Systems, Man, and Cybernetics: Systems",

issn = "2168-2216",

publisher = "IEEE Advancing Technology for Humanity",

number = "3",

}

TY - JOUR

T1 - Soundness for resource-constrained workflow nets is decidable

AU - Sidorova, N.

AU - Stahl, C.

PY - 2013

Y1 - 2013

U2 - 10.1109/TSMCA.2012.2210415

DO - 10.1109/TSMCA.2012.2210415

M3 - Article

SN - 2168-2216

VL - 43

SP - 724

EP - 729

JO - IEEE Transactions on Systems, Man, and Cybernetics: Systems

JF - IEEE Transactions on Systems, Man, and Cybernetics: Systems

IS - 3

ER -