Keyword: real-time computational tree logic

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

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

Back to the Petri Nets Bibliography