For the most recent entries see the
Petri Nets Newsletter.
Chung, M.-Y.
-
Chung, Ming-Ying;
Ciardo, Gianfranco;
Yu, Andy Jinqing:
A Fine-Grained Fullness-Guided Chaining Heuristic for Symbolic Reachability Analysis.
2006.
-
Chung, Ming-Ying;
Ciardo, Gianfranco;
Yu, Andy Jinqing:
A Fine-Grained Fullness-Guided Chaining Heuristic for Symbolic Reachability Analysis.
2006.
-
Chung, M.-Y.;
Ciardo, G.;
Donatelli, S.;
He, N.;
Plateau, B.;
Stewart, W.;
Sulaiman, E.;
Yu, J.:
A Comparison of Structural Formalisms for Modeling Large Markov Models.
2004.
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