A Logic of Actions to Specify and Verify Process Requirements
暂无分享,去创建一个
[1] Kurt Lautenbach,et al. Timestamp nets in technical applications , 1998, SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.98CH36218).
[2] Carl Frappaolo,et al. Electronic Document Management Systems: A Portable Consultant , 1995 .
[3] Wil vanderAalst,et al. Workflow Management: Models, Methods, and Systems , 2004 .
[4] Carlo Simon,et al. A logic of actions and its application to the development of programmable controllers , 2001 .
[5] Karl E. Wiegers,et al. Software Requirements , 1999 .
[6] James Lyle Peterson,et al. Petri net theory and the modeling of systems , 1981 .
[7] Wolfgang Reisig. Petri Nets: An Introduction , 1985, EATCS Monographs on Theoretical Computer Science.
[8] Wil M. P. van der Aalst,et al. The Application of Petri Nets to Workflow Management , 1998, J. Circuits Syst. Comput..
[9] Carlo Simon,et al. Developing software controllers with Petri nets and a logic of actions , 2001, Proceedings 2001 ICRA. IEEE International Conference on Robotics and Automation (Cat. No.01CH37164).