Complexity of the soundness problem of bounded workflow nets

10.1007/978-3-642-31131-4_6

Saved in:

Bibliographic Details
Main Authors:	Liu, G.J., Sun, J., Liu, Y., Dong, J.S.
Other Authors:	TEMASEK LABORATORIES
Format:	Conference or Workshop Item
Published:	2013
Subjects:	co-NP-hardness Petri nets PSPACE-hardness soundness workflow nets workflow nets with reset arcs
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/43164
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore

id	sg-nus-scholar.10635-43164
record_format	dspace
spelling	sg-nus-scholar.10635-431642024-11-08T17:54:32Z Complexity of the soundness problem of bounded workflow nets Liu, G.J. Sun, J. Liu, Y. Dong, J.S. TEMASEK LABORATORIES COMPUTER SCIENCE co-NP-hardness Petri nets PSPACE-hardness soundness workflow nets workflow nets with reset arcs 10.1007/978-3-642-31131-4_6 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7347 LNCS 92-107 2013-07-23T09:26:44Z 2013-07-23T09:26:44Z 2012 Conference Paper Liu, G.J.,Sun, J.,Liu, Y.,Dong, J.S. (2012). Complexity of the soundness problem of bounded workflow nets. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7347 LNCS : 92-107. ScholarBank@NUS Repository. <a href="https://doi.org/10.1007/978-3-642-31131-4_6" target="_blank">https://doi.org/10.1007/978-3-642-31131-4_6</a> 9783642311307 03029743 http://scholarbank.nus.edu.sg/handle/10635/43164 NOT_IN_WOS Scopus
institution	National University of Singapore
building	NUS Library
continent	Asia
country	Singapore Singapore
content_provider	NUS Library
collection	ScholarBank@NUS
topic	co-NP-hardness Petri nets PSPACE-hardness soundness workflow nets workflow nets with reset arcs
spellingShingle	co-NP-hardness Petri nets PSPACE-hardness soundness workflow nets workflow nets with reset arcs Liu, G.J. Sun, J. Liu, Y. Dong, J.S. Complexity of the soundness problem of bounded workflow nets
description	10.1007/978-3-642-31131-4_6
author2	TEMASEK LABORATORIES
author_facet	TEMASEK LABORATORIES Liu, G.J. Sun, J. Liu, Y. Dong, J.S.
format	Conference or Workshop Item
author	Liu, G.J. Sun, J. Liu, Y. Dong, J.S.
author_sort	Liu, G.J.
title	Complexity of the soundness problem of bounded workflow nets
title_short	Complexity of the soundness problem of bounded workflow nets
title_full	Complexity of the soundness problem of bounded workflow nets
title_fullStr	Complexity of the soundness problem of bounded workflow nets
title_full_unstemmed	Complexity of the soundness problem of bounded workflow nets
title_sort	complexity of the soundness problem of bounded workflow nets
publishDate	2013
url	http://scholarbank.nus.edu.sg/handle/10635/43164
_version_	1821232855056908288

Complexity of the soundness problem of bounded workflow nets

Similar Items