Enumeration of reachable (forbidden, live, and deadlock) states of top k-th order system (with a non-sharing resource place) of Petri nets. - Daniel Yuh Chao; Tsung Hsien Yu (IECON, 2013)

A Best Method to Synthesize Very Large K-th Order Systems without Reachability Analysis (S). - Daniel Yuh Chao; Tsung Hsien Yu (SEKE, 2013)

Enumeration of reachable, forbidden, live states of gen-left k-net system (with a non-sharing resource place) of Petri Nets. - Daniel Yuh Chao; Tsung Hsien Yu (CICA, 2014)

Enumeration of reachable, forbidden, live, and deadlock states of bottom k-th order system (with a left side non-sharing resource place) of Petri nets. - Daniel Yuh Chao; Tsung Hsien Yu; Chia Chang Liou (ICNSC, 2014)

Closed form formula construction to enumerate control related states of K-th order S3PR system (with a Top Left side non-sharing resource place) of Petri nets. - Daniel Yuh Chao; Tsung Hsien Yu; Sou-Chein Wu (ICNSC, 2014)

Is it possible to identify cases of coronary artery bypass graft postoperative surgical site infection accurately from claims data? A multi-model comparison study over 2005-2008. - Tsung Hsien Yu; Yu-Chang Hou; Kuan-Chia Lin; Kuo-Piao Chung (BMC Medical Informatics Decis. Mak., 2014)

Closed form formula construction to enumerate control related states of Bottom Left k-net S3PR system (with a Bottom Left side non-sharing resource place) of Petri nets. - Daniel Yuh Chao; Tsung Hsien Yu (ICNSC, 2015)

MLR: A new concept to launch a partial deadlock avoidance policy for k-th order system of Petri Nets. - Daniel Yuh Chao; Tsung Hsien Yu (IECON, 2015)

Parameterized of Control Related States of Gen-Right k-th order system of Petri nets based on proof by model of Gen-Left. - Tsung Hsien Yu (IECON, 2016)

The closed-form solution of the Control Related States of Deficient Gen-Left k-th order System (the essential element of non-sharing subnet) of Petri Nets. - Tsung Hsien Yu (SSCI, 2016)

The fundamental closed-form solution of control-related states of kth order S3PR system with left-side non-sharing resource places of Petri nets. - Daniel Yuh Chao; Tsung Hsien Yu (Int. J. Control, 2016)

Reachability-related analysis of double-deficient k-th order systems of Petri nets in terms of a closed-form solution. - Tsung Hsien Yu (IECON, 2017)

Topological reverse mirroring: a new efficient knowledge-based methodology of reachability analysis for Petri nets. - Tsung Hsien Yu (Int. J. Control, 2022)