Wang, J.

• Wen, Lijie; van der Aalst, Wil M. P.; Wang, Jianmin; Sun, Jiaguang:
  Mining process models with non-free-choice constructs. 2007.

• Ye, Yangdong; Wang, Juan; Jia, Limin:
  Analysis of Temporal Uncertainty of Trains Converging Based on Fuzzy Time Petri Nets. 2005.

• Wang, Jiacun:
  Real-time billing throughput analysis of wireless telecommunication systems. 2005.

• Deng, Y.; Wang, J.; He, X.; Tsai, J.:
  Constraint propagation and progressive verification for component-based process model. 2004.

• Deng, Yi; Wang, Jiacun; Tsai, Jeffrey J.P.; Beznosov, Konstantin:
  An Approach for Modeling and Analysis of Security System Architectures. 2003.

• Qu, Yang; Lin, Chuang; Wang, Jiye:
  Linear Temporal Inference of Workflow Management Systems Based on Timed Petri Nets Models. 2002.

• Wang, J.; Deng, Y.; Xu, G.:
  Reachability analysis of real-time systems using time Petri nets. 2000.

• Wang, Jiacun; Deng, Yi; Zhou, MengChu:
  Compositional time Petri nets and reduction rules. 2000.

• Wang, J.; He, X.; Deng, Y.:
  Introducing software architecture specification and analysis in SAM through an example. 1999.

• Wang, J.; Jin, C.; Deng, Y.:
  Performance analysis of traffic networks based on stochastic timed Petri net models. 1999.

• Wang, J.; Zhou, MengChu; Deng, Y.:
  Throughput analysis of discrete event systems based on stochastic Petri nets. 1999.

• Wang, Jiacun; Deng, Yi:
  Incremental modeling and verification of flexible manufacturing systems. 1999.

• Wang, Jiacun; Zhou, MengChu; Deng, Yi:
  Modeling and throughput analysis of discrete event systems based on stochastic Petri nets. 1999.

• Deng, Y.; Wang, J.:
  Integrated architectural modeling and analysis for high-assurance command and control system design. 1998.

• Deng, Yi; Wang, Jiacun; Sinha, Rakesh:
  Integrated architecture modeling of real-time concurrent systems with applications in FMS. 1998.

• Wang, J.; Deng, Y.:
  Component-level reduction rules for time Petri nets with application in C2 systems. 1998.

• Wang, Jiacun:
  Timed Petri Nets: Theory and Application. 1998.

• Wang, Jiacun; Deng, Yi; He, Xudong:
  A formal architectural specification model for real-time systems design. 1998.

• Wang, Jiacun; Jiang, Shengbing:
  Stochastic Petri Net Models of Communication and Flexible Systems. 1995.

• Huang, Z.; Wang, J.; Zhou, MengChu:
  Hybrid state analysis method in stochastic Petri nets. 1992.

• Wang, J.:
  A Directed Graph Model Representing Multipriority Distributed Computer Systems. 1985.

Back to the Petri Nets Bibliography