For the most recent entries see the
Petri Nets Newsletter.
Yang, S.J.H.
-
Chu, William Cheng-Chung;
Chang, Chih-Hung;
Yang, Stephen JennHwa:
Application of the software maintenance predicate/transition net (SMPRT-NET) to the change control process of maintenance.
2000.
-
Yang, S.J.H.;
Chu, W.;
Lin, S.;
Lee, J.:
Specifying and verifying temporal behavior of high assurance systems using reachability tree logic.
1998.
-
Yang, S.J.H.;
Lee, A.S.;
Chu, W.C.;
Yang, H.:
Rule base verification using Petri nets.
1998.
-
Yang, S.J.H.;
Chu, W.C.;
Lee, J.;
Huang, W.T.:
A fuzzy Petri net based mechanism for fuzzy rules reasoning.
1997.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Are you trying to get in contact with an author? Try our
database of Petri net researchers.
Back to the Petri Nets Bibliography