{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,26]],"date-time":"2025-06-26T23:44:41Z","timestamp":1750981481891,"version":"3.38.0"},"reference-count":33,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2011,5,1]],"date-time":"2011-05-01T00:00:00Z","timestamp":1304208000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Syst., Man, Cybern. A"],"published-print":{"date-parts":[[2011,5]]},"DOI":"10.1109\/tsmca.2010.2091954","type":"journal-article","created":{"date-parts":[[2011,1,10]],"date-time":"2011-01-10T20:53:49Z","timestamp":1294692829000},"page":"476-491","source":"Crossref","is-referenced-by-count":22,"title":["Formalizing a Workflow-Net Implementation of Design-Structure-Matrix-Based Process Planning for New Product Development"],"prefix":"10.1109","volume":"41","author":[{"given":"Arie","family":"Karniel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yoram","family":"Reich","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref33","DOI":"10.1109\/69.60794"},{"doi-asserted-by":"publisher","key":"ref32","DOI":"10.1109\/TSMCA.2009.2034837"},{"doi-asserted-by":"publisher","key":"ref31","DOI":"10.1109\/TSMCA.2008.918632"},{"doi-asserted-by":"publisher","key":"ref30","DOI":"10.1109\/TSMCA.2007.909548"},{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1142\/S0218843004000973"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1109\/TEM.2009.2032032"},{"key":"ref12","article-title":"A coherent interpretation of DSM plan for PDP simulation","author":"karniel","year":"2007","journal-title":"Proc ICED"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1109\/ICSEM.2007.373331"},{"doi-asserted-by":"publisher","key":"ref14","DOI":"10.1142\/S0218126698000043"},{"key":"ref15","first-page":"21","article-title":"On 1-soundness and soundness of workflow nets","author":"ping","year":"2004","journal-title":"Proc 3rd Workshop Modelling Objects Compon Agents DAIMI PB571"},{"key":"ref16","first-page":"337","article-title":"Soundness and separability of workflow nets in the stepwise refinement approach","volume":"2678","author":"van hee","year":"2003","journal-title":"Proc Appl Theory Petri Nets"},{"doi-asserted-by":"publisher","key":"ref17","DOI":"10.1109\/TEM.1981.6448589"},{"doi-asserted-by":"publisher","key":"ref18","DOI":"10.1007\/BF01588087"},{"doi-asserted-by":"publisher","key":"ref19","DOI":"10.1109\/17.946528"},{"key":"ref28","first-page":"195","article-title":"Applying graph reduction techniques for identifying structural conflicts in process models","volume":"1626","author":"sadiq","year":"1999","journal-title":"Proc Int Conf Advanced Inf Syst Eng"},{"key":"ref4","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-46708-4","author":"westfechtel","year":"1999","journal-title":"Models and Tools for Managing Development Processes"},{"doi-asserted-by":"publisher","key":"ref27","DOI":"10.1109\/TSMCA.2008.923056"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1109\/95.465167"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1109\/ICDE.2005.17"},{"key":"ref29","first-page":"197","article-title":"Generalised soundness of workflow nets is decidable","volume":"3099","author":"van hee","year":"2004","journal-title":"Proc Appl Theory Petri Nets"},{"year":"1999","journal-title":"Workflow management coalition terminology and glossary","key":"ref5"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1023\/B:ITEM.0000008077.91413.86"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1016\/j.datak.2004.01.001"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1007\/BF01596486"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1007\/978-0-85729-570-5"},{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.1002\/sys.20047"},{"doi-asserted-by":"publisher","key":"ref20","DOI":"10.1016\/j.cad.2005.11.005"},{"doi-asserted-by":"publisher","key":"ref22","DOI":"10.1016\/j.cad.2004.06.015"},{"key":"ref21","first-page":"227","article-title":"Methods for analyzing design procedures","author":"gebala","year":"1991","journal-title":"Proc ASME 2nd Int Conf Design Theory and Methodology"},{"key":"ref24","article-title":"Data flow and validation in workflow modeling","author":"sadiq","year":"2004","journal-title":"Proc Int Conf Res Pract Inf Technol ADC"},{"doi-asserted-by":"publisher","key":"ref23","DOI":"10.1016\/j.datak.2004.01.002"},{"key":"ref26","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7301.001.0001","author":"van der aalst","year":"2002","journal-title":"Workflow Management Models Methods and Systems"},{"year":"0","journal-title":"Lectures on Petri Nets I Basic Models","first-page":"1998","key":"ref25"}],"container-title":["IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/3468\/5749780\/05682420.pdf?arnumber=5682420","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,1]],"date-time":"2025-03-01T15:49:13Z","timestamp":1740844153000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5682420\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,5]]},"references-count":33,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/tsmca.2010.2091954","relation":{},"ISSN":["1083-4427","1558-2426"],"issn-type":[{"type":"print","value":"1083-4427"},{"type":"electronic","value":"1558-2426"}],"subject":[],"published":{"date-parts":[[2011,5]]}}}