On temporal logic programming using Petri nets

IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans.

Volumn 29, Issue 3, 1999, Pages 245-254

  Zaidi, Abbas K ^a,b  

^a IEEE   (Pakistan)

^b CAPITAL UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Pakistan)

Author keywords

[No Author keywords available]

Indexed keywords

DISCRETE TIME CONTROL SYSTEMS; INFERENCE ENGINES; MATHEMATICAL MODELS; MATHEMATICAL TRANSFORMATIONS; PETRI NETS;

DISCRETE EVENT SYSTEMS; POINT INTERVAL LOGIC; TEMPORAL INFERENCE ENGINE;

LOGIC PROGRAMMING;

EID: 0032649743     PISSN: 10834427     EISSN: None     Source Type: Journal    
DOI: 10.1109/3468.759269     Document Type: Article

References (33)

1. J. F. Allen, "A general model of action and time," Tech. Rep. TR97, Univ. of Rochester, Rochester, NY, 1981.
2. J. N. Findlay. "Time: A treatment of some puzzles," Aust. J. Phil., vol. 19, pp. 216-235, 1941.
3. A. N. Prior, "Diodoran modalities," Phil. Quart., vol. 5, pp. 205-213, 1955.
4. A. Galton, Temporal Logics and Their Applications. New York: Academic, 1987.
5. W. H. Newton-Smith, The Structure of Time. London, U.K.: Routledge and Kegan, 1980.
6. W. V. Quine, Elementary Logic, revised ed. New York: Harper and Row, 1965.
7. J. F. Allen, "An interval based representation of temporal knowledge," in Proc. 7th IJCAI, 1981.
8. _, "Maintaining knowledge about temporal intervals," Commun. ACM, vol. 26, pp. 832-843, Nov. 1983.
9. J. F. Allen, "Toward a general theory of action and time," Artif. Intell., vol. 23, no. 2, pp. 123-154, 1984.
10. J. F. Allen and P. Hayes, "A commonsense theory of time: The longer paper," Tech. Rep., Univ. of Rochester, Rochester, NY, 1985.
11. _, "A commonsense theory of time," in Proc. IJCAI, 1985, pp. 528-531.
12. A. N. Prior, Past, Present and Future. Oxford, U.K.: Clarendon, 1967.
13. A. Pnueli, "The temporal logic of programs," in Proc. 18th IEEE Symp. Foundations Computer Science, 1977, pp. 46-67.
14. Z. Manna and A. Pnueli, "Verification of concurrent programs: The temporal framework," The Correctness Problem in Computer Science, R. S. Boyer and J. S. Moore, Eds. London, U.K.: Academic, 1981, pp. 215-273.
15. N. Rescher and A. Urquhart, Temporal Logic. Berlin, Germany: Springer-Verlag, 1971.
16. R. P. McArthur, Tense Logic. Dordrecht, The Netherlands: Reidel, 1976.
17. B. C. Brace, "A model for temporal reference and its application in a question-answering program," Artif. Intell., vol. 3, pp. 1-25, 1972.
18. D. McDermott, "A temporal for reasoning about processes and plans," Cogn. Sci., vol. 6, pp. 101-155, 1982.
19. K. Kahn and G. Gorry, "Mechanizing temporal logic," Artif. Intell., vol. 9, pp. 87-108, 1977.
20. J. F. Allen and J. A. Koomen, "Planning using a temporal world model," in Proc. 8th Int. Joint Conf. Artificial Intelligence, 1983, pp. 741-747.
21. M. Abadi and Z. Manna, "Nonclausal temporal deduction," Logics of Programs, Lecture Notes in Computer Science, R. Parikh, Ed. Berlin, Germany: Springer-Verlag, 1985, pp. 1-15.
22. Fariãs del Cerro, "Resolution modal logics," in Logics and Models of Concurrent Programs, K. R. Apt, Ed. Berlin, Germany: Springer-Verlag, 1985, pp. 27-56.
23. E. M. Clarke et al., "Automatic verification of finite-state concurrent systems using temporal logic specifications," ACM Trans. Progr. Lang. Syst., vol. 8, pp. 244-263, 1986.
24. Y. Yao, "A Petri net model for temporal knowledge representation and reasoning," IEEE Trans. Syst., Man, Cybern., vol. 24, pp. 1374-1382, Sept. 1994.
25. A. Galton, Logic for Information Technology. Chichester, U.K.: Wiley, 1990.
26. J. L. Peterson, Petri Net Theory and the Modeling of Systems. Englewood Cliffs, NJ: Prentice-Hall, 1981.
27. W. Reisig, Petri Nets, An Introduction, Berlin, Germany: Springer-Verlag, 1985.
28. T. Murata, "Petri nets: Properties, analysis, and applications," Proc. IEEE, vol. 77, Apr. 1989.
29. H. P. Hillion, Performance Evaluation of Decisionmaking Organizations Using Timed Petri Nets, LIDS-TH-1590, Lab. of Inform. and Decision Syst., Mass. Inst. Technol., Cambridge, 1986.
30. A. K. Zaidi, "On the generation of multilevel distributed intelligence systems using Petri nets," Tech. Rep., GMU/C3I-112-TH, Center of Excellence in C3I, George Mason Univ., Fairfax, VA, 1992.
31. A. K. Zaidi and A. H. Levis, "On verifying inferences in an influence diagram," in Proc. 1995 1st Int. Symp. Command Control Research and Technology, National Defense University, Washington, DC, June 19-23, 1995, pp. 443-451.
32. V. Y. Jin, Delays for Distributed Decisionmaking Organizations LIDS-TH-1459, Lab. for Inform. Decision Syst., Mass. Inst. Technol., Cambridge, 1986.
33. A. K. Zaidi and A. H. Levis, "Validation and verification of decision making rules," Automatica, vol. 33, no. 2, pp. 155-169, 1997.