For the most recent entries see the
Petri Nets Newsletter.
Yen, H.C.

Yen, HusChun;
Yu, LienPo:
Decidability analysis of selfstabilization for Infinite State Systems.
2006.

Yen, HsuChun;
Yu, LienPo:
Dependability Analysis of a Class of Probabilistic Petri Nets.
2004.

Yen, HsuChun;
Yu, LienPo:
Petri Nets with Simple Circuits.
2003.

Yen, H.C.:
Integer linear programming and the analysis of some Petri net problems.
1999.

Yen, HsuChun;
Wang, BowYaw;
Yang, MingSheng:
Deciding a Class of Path Formulas for ConflictFree Petri Nets.
1997.

Yen, HsuChun:
A note on fine covers and iterable factors of VAS languages.
1995.

Yen, HsuChun;
Wand, B.Y.;
Yang, M.S.:
A Unified Approach for Reasoning about ConflictFree Petri Nets.
1993.

Yen, HsuChun:
A Unified Approach for Deciding the Existence of Certain Petri Net Paths.
1992.

Howell, Rodney R.;
Rosier, Louis E.;
Yen, HsuChun:
Global and Local Views of State Fairness.
1991.

Howell, Rodney R.;
Rosier, Louis E.;
Yen, HsuChun:
A Taxonomy of Fairness and Temporal Logic Problems for Petri Nets.
1991.

Yen, HsuChun:
A Polynomial Time Algorithm to Decide Pairwise Concurrency of Transitions for 1Bounded ConflictFree Petri Nets.
1991.

Howell, Rodney R.;
Rosier, Louis E.;
Yen, HsuChun:
Normal and Sinkless Petri Nets.
1989.

Yen, HsuChun:
A Logic for Petri Nets and its Applications.
1989.

Howell, Rodney R.;
Rosier, Louis E.;
Yen, HsuChun:
A Taxonomy of Fairness and Temporal Logic Problems for Petri Nets.
1988.

Howell, Rodney R.;
Rosier, Louis E.;
Yen, HsuChun:
A Taxonomy of Fairness and Temporal Logic Problems for Petri Nets.
1988.

Howell, R.R.;
Huynh, D.T.;
Rosier, L.E.;
Yen, HsuChun:
On the Complexity of Containment, Equivalence, and Reachability for Finite and 2Dimensional Vector Addition Systems with States.
1987.

Howell, R.R.;
Rosier, L.E.;
Huynh, D.T.;
Yen, HsuChun:
Some Complexity Bounds for Problems Concerning Finite and 2Dimensional Vector Addition Systems with States.
1986.

Rosier, Louis E.;
Yen, HsuChun:
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 fieldbased queries.
The author's address is provided by the
database of Petri net researchers.
Back to the Petri Nets Bibliography