Zhang, D.

• Zhang, Duan; Dai, Huaping; Sun, Youxian:
  A Dioid Linear Algebra Approach to Study a Class of Continuous Petri Nets. 2004.

• Zhang, D.; Luqi,:
  Approximate declarative semantics for rule base anomalies. 1999.

• Zhang, Du; Murata, Tadao:
  Fixpoint Semantics for Petri Net Model of Definite Clause Logic Programs. 1996.

• Zhang, Du; Nyugen, Doan:
  PREPARE: A Tool for Knowledge Base Verification. 1994.

• Zhang, Du:
  Planning Using Timed Pr/T Nets. 1992.

• Zhang, Du:
  Planning with Pr/T Nets. 1991.

• Zhang, Du:
  ROPES: A Tool for Generating Robot Plans. 1990.

• Lu, Meiliu; Zhang, Du; Murata, Tadao:
  Analysis of Self-Stabilizing Clock Synchronization by means of Stochastic Petri Nets. 1990.

• Zhang, Du; Nyugen, Doan:
  A Technique for Knowledge Base Verification. 1989.

• Murata, Tadao; Zhang, D.:
  A Predicate-Transition Net Model for Parallel Interpretation of Logic Programs. 1988.

• Lu, Meiliu; Zhang, Du; Murata, Tadao:
  Stochastic Net Model for Self-Stability Measures of Fault Tolerant Clock Synchronization. 1987.

• Murata, Tadao; Zhang, D.:
  A High Level Petri Net Model for Parallel Interpretation of Logic Programs. 1986.

Back to the Petri Nets Bibliography