共 5 条
- [1] On temporal logic programming using Petri nets. Zaidi A K. IEEE Transactions on Systems Man and Cybernetics . 1999
- [2] A Petri net model for temporal knowledge representation and reasoning. Yao Y. IEEE Transactions on Systems Man and Cybernetics . 1994
- [3] The application of Petri nets to workflow management. WM P van der Aalst. Journal of Circuits Systems and Computers . 1998
- [4] Logical inference of Horn clauses in Petri net models. Lin C,Chaudhury A,Whinston A B,Marinescu D C. IEEE Trans. on Knowledge and Data Engineering, June . 1993
- [5] Logical inference of clauses based on Petri net models. Lin C,Chanson S T. International Journal of Intelligent Systems, John Wiley &Sons, August . 1998