For the most recent entries see the
Petri Nets Newsletter.
Chu, W.
-
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.;
Chu, W.;
Lin, S.;
Lee, J.:
Specifying and verifying temporal behavior of high assurance systems using reachability tree logic.
1998.
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