For the most recent entries see the
Petri Nets Newsletter.
Chao, D.Y.
-
Chao, Daniel Y.:
Firing sequences of synchronized choice nets.
2002.
-
Chao, Daniel Y.:
Reachability of non-synchronized choice Petri nets with resource-sharing.
2002.
-
Chao, Daniel Y.:
Reachability of synchronized choice Petri nets.
2002.
-
Chao, D.Y.:
Petri net synthesis and synchronization using knitting technique.
1999.
-
Chao, D.Y.;
Tseng, J.-H.;
Tang, J.-H.;
Nicdao, J.A.;
Chen, Y.-K.:
The algorithm for checking liveness in synchronized choice nets.
1999.
-
Chao, Daniel Yuh:
Extending Knitting Algorithm to Synthesize Resource Sharing FMS.
1998.
-
Chao, D.Y.;
Wang, D.T.:
XPN-FMS - a CAD tool for FMS modeling, analysis, animation, and simulation using Petri nets and X-Windows.
1995.
-
Chao, D.Y.;
Zhou, MengChu;
Wang, D.T.:
Extending knitting technique to Petri net synthesis of automated manufacturing systems.
1994.
-
Zhou, MengChu;
Wang, D.T.;
Chao, D.Y.;
Mayk, I.:
Design of command and control systems using Petri net and object-oriented technology.
1994.
-
Chao, Daniel Y.;
Wang, David T.:
An interactive tool for design, simulation, verification, and synthesis of protocols.
1994.
-
Chao, D.Y.;
Zhou, MengChu;
Wang, D.T.:
Multiple weighted marked graphs.
1993.
-
Chao, D.Y.;
Chen, T.-H.;
Wang, D.T.;
Zhou, MengChu:
X Window Implementation of Petri Net Based Animation for FMS.
1992.
-
Chao, D.Y.;
Zhou, MengChu;
Wang, D.T.:
Extending Knitting Technique to Petri Net Synthesis of Automated Manufacturing Systems.
1992.
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