For the most recent entries see the
Petri Nets Newsletter.
Cha, S.D.
-
Lee, Nam Hee;
Cha, Sung Deok:
Generating test sequences using symbolic execution for event-driven real-time systems.
2003.
-
Lee, W.J.;
Kim, H.N.;
Cha, S.D.;
Kwon, Y.R.:
A slicing-based approach to enhance Petri net reachability analysis.
2000.
-
Lee, N.-H.;
Hong, J.-E.;
Cha, S.-D.;
Bae, D.-H.:
Towards reusable colored Petri nets.
1998.
-
Lee, W.J.;
Cha, S.D.;
Kwon, Y.R.:
Integration and analysis of use cases using modular Petri nets in requirements engineering.
1998.
-
Cho, S.M.;
Hing, H.S.;
Cha, S.D.:
Safety analysis using colored Petri nets.
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