For the most recent entries see the
Petri Nets Newsletter.
Yen, H.-C.
-
Yen, Hus-Chun;
Yu, Lien-Po:
Decidability analysis of self-stabilization for Infinite- State Systems.
2006.
-
Yen, Hsu-Chun;
Yu, Lien-Po:
Dependability Analysis of a Class of Probabilistic Petri Nets.
2004.
-
Yen, Hsu-Chun;
Yu, Lien-Po:
Petri Nets with Simple Circuits.
2003.
-
Yen, H.C.:
Integer linear programming and the analysis of some Petri net problems.
1999.
-
Yen, Hsu-Chun;
Wang, Bow-Yaw;
Yang, Ming-Sheng:
Deciding a Class of Path Formulas for Conflict-Free Petri Nets.
1997.
-
Yen, Hsu-Chun:
A note on fine covers and iterable factors of VAS languages.
1995.
-
Yen, Hsu-Chun;
Wand, B.-Y.;
Yang, M.-S.:
A Unified Approach for Reasoning about Conflict-Free Petri Nets.
1993.
-
Yen, Hsu-Chun:
A Unified Approach for Deciding the Existence of Certain Petri Net Paths.
1992.
-
Howell, Rodney R.;
Rosier, Louis E.;
Yen, Hsu-Chun:
Global and Local Views of State Fairness.
1991.
-
Howell, Rodney R.;
Rosier, Louis E.;
Yen, Hsu-Chun:
A Taxonomy of Fairness and Temporal Logic Problems for Petri Nets.
1991.
-
Yen, Hsu-Chun:
A Polynomial Time Algorithm to Decide Pairwise Concurrency of Transitions for 1-Bounded Conflict-Free Petri Nets.
1991.
-
Howell, Rodney R.;
Rosier, Louis E.;
Yen, Hsu-Chun:
Normal and Sinkless Petri Nets.
1989.
-
Yen, Hsu-Chun:
A Logic for Petri Nets and its Applications.
1989.
-
Howell, Rodney R.;
Rosier, Louis E.;
Yen, Hsu-Chun:
A Taxonomy of Fairness and Temporal Logic Problems for Petri Nets.
1988.
-
Howell, Rodney R.;
Rosier, Louis E.;
Yen, Hsu-Chun:
A Taxonomy of Fairness and Temporal Logic Problems for Petri Nets.
1988.
-
Howell, R.R.;
Huynh, D.T.;
Rosier, L.E.;
Yen, Hsu-Chun:
On the Complexity of Containment, Equivalence, and Reachability for Finite and 2-Dimensional Vector Addition Systems with States.
1987.
-
Howell, R.R.;
Rosier, L.E.;
Huynh, D.T.;
Yen, Hsu-Chun:
Some Complexity Bounds for Problems Concerning Finite and 2-Dimensional Vector Addition Systems with States.
1986.
-
Rosier, Louis E.;
Yen, Hsu-Chun:
A Multiparameter Analysis of the Boundedness Problem for Vector Addition Systems.
1986.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
The author's address is provided by the
database of Petri net researchers.
Back to the Petri Nets Bibliography