Chang, C.K.

• Kim, Tae-Hyung; Chang, Carl K.:
  Service-Oriented Design with Aspects (SODA). 2005.

• Zhang, Jia; Chung, Jen-Yao; Chang, Carl K.; Kim, Seong W.:
  WS-Net: A Petri-net Based Specification Model for Web Services. 2004.

• Chang, C.K.; Christensen, M.:
  A net practice for software project management. 1999.

• Aoyama, M.; Chang, C.K.:
  A Petri Net Based Platform for Developing Communication Software Systems. 1991.

• Chang, C.K.; Huang, H.:
  On transforming Petri net model to Moore machine. 1990.

• Chang, C.K.; Chang, Y.-F.; Song, C.-C.; Aoyama, M.:
  Integral: Petri-net approach to distributed software development. 1989.

• Chang, C.K.; Chang, Y.F.; Yang, L.; Choum, C.R.; Chen, J.J.:
  Modeling a Real-Time Multitasking System in a Timed PQ Net. 1989.

• Chang, C.K.; Chang, Y.-F.; Song, C.-C.; Aoyama, M.:
  INTEGRAL: Petri-Net Approach to Distributed Software Development. 1989.

• Chang, C.K.; Jiang, T.M.; Aoyama, M.:
  A Specification Language for Real-time Distributed Systems. 1988.

• Chang, C.K.; Song, C.C.; Chang, Y.F.:
  INTEGRAL --- an Integrated Framework for Distributed Software Validation and Verification. 1988.

• Chang, C.K.; Aoyama, M.:
  Design Methods for Distributed Software Systems. 1987.

• Chang, C.K.; Aoyama, M.; Jiang, T.M.; Shi, W.; Chang, Y.F.:
  A New Design Approach of Real/Time Distributed Software Systems. 1987.

• Chang, C.K.; Aoyama, M.; Jiang, T.M.; Shi, W.; Chang, Y.F.:
  New Design Approach of Real-time Distributed Software Systems. 1987.

• Chang, C.K.; Wang, H.:
  A Slicing Algorithm of Concurrency Modeling Based on Petri Nets. 1987.

• Chang, C.K.; Jiang, T.M.:
  A Design Method for Recoverable Distributed Communication Systems. 1986.

Back to the Petri Nets Bibliography