For the most recent entries see the
Petri Nets Newsletter.
Yang, H.
-
He, Xudong;
Chu, William;
Yang, Hongji:
A New Approach to Verify Rule-Based Systems using Petri Nets.
2003.
-
Chu, William;
Lu, Chih-Wei;
Yang, Hongji;
He, Xudong:
A formal approach for component retrieval and integration analysis.
2000.
-
He, Xudong;
Chu, W.;
Yang, H.;
Yang, S.:
A Reachability Graph Technique for Verifying Rule Based Systems.
1999.
-
Yang, S.J.H.;
Lee, A.S.;
Chu, W.C.;
Yang, H.:
Rule base verification using Petri nets.
1998.
-
Chu, W.C.;
Yang, H.;
Luker, P.:
A formal method for software maintenance.
1996.
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