Qualitative simulation of temporal concurrent processes using time interval petri nets

Artificial Intelligence

Volumn 144, Issue 1-2, 2003, Pages 95-124

  Bulitko, Vadim ^a   Wilkins, David C ^b  

^a UNIVERSITY OF ALBERTA   (Canada)

^b UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

Author keywords

Bounded rationality; Damage control; Envisionment based control policies; Intelligent systems; Petri nets; Qualitative simulation; Real time decision making; Temporal reasoning

Indexed keywords

COMPUTER SIMULATION; DECISION MAKING; INTELLIGENT AGENTS; PETRI NETS;

TEMPORAL CONCURRENT PROCESSES;

CONCURRENT ENGINEERING;

EID: 0037371721     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0004-3702(02)00369-7     Document Type: Article

References (32)

1. Baum E., Smith D. A Bayesian approach to relevance in game-playing. Artificial Intelligence. 97:1997;195-242.
2. Berthomieu B., Diaz M. Modelling and verification of time dependent systems using Time Petri Nets. IEEE Transactions on Software Engineering. 17:(3):1991;259-273.
3. Berthomieu B., Menasche M. An enumerative approach for analyzing time Petri nets. IFIP Congress Series. 9:1983;41-46 Elsevier Science, Amsterdam.
4. V. Bulitko, Minerva-5: A multifunctional dynamic expert system, Master's Thesis, Department of Computer Science, University of Illinois at Urbana-Champaign, IL, 1998.
5. V. Bulitko, Envisionment-based scheduling using time interval Petri networks: Representation, inference, and learning, Ph.D. Thesis, University of Illinois at Urbana-Champaign, IL, 2000.
6. Bulitko V., Wilkins D. Automated instructor assistant for ship damage control. Proceedings of the 11th Innovative Applications of Artificial Intelligence '99 Conference, Orlando, FL. 1999;778-785.
7. Bulitko V., Wilkins D. Damage control domain: Using Petri nets for intelligent scheduling. Portinale L., Valette R., Zhang D. Proceedings of the Workshop on Application of Petri Nets to Intelligent System Development, Williamsburg, USA. 1999;14-25.
8. Bulitko V., Wilkins D. Using Petri nets to represent context in blackboard scheduling. Proceedings of the American Association for Artificial Intelligence (AAAI) Workshop on Reasoning in Context for AI Applications, Orlando, FL. 1999.
9. V. Bulitko, D. Wilkins, Inductive learning for time interval Petri nets, J. Machine Learning Res. 2002 (submitted).
10. Bulitko V., Wilkins D. Real-time decision making for shipboard damage control. Proceedings of the AAAI/KDD/UAI-2002 Joint Workshop on Real-Time Decision Support and Diagnosis Systems. 2002;37-46 AAAI Press, Edmonton, AL.
11. Costa Miranda M. Modeling and analysis of a multi-agent system using colored Petri nets. Portinale L., Valette R., Zhang D. Proceedings of the Workshop on Application of Petri Nets to Intelligent System Development, Williamsburg, VA. 1999;59-70.
12. Donatelli S., Kleijn J. Applications and Theory of Petri Nets 1999. 1639:1999;Springer, Berlin.
13. Forbus K.D. Qualitative process theory. Artificial Intelligence. 24:1984;85-168.
14. C. Forgy, OPS5 user's manual, Technical Report CMU-CS-81-135, Department of Computer Science, Carnegie-Mellon University, Pittsburgh, PA, 1981.
15. Forgy C. Rete: A fast algorithm for the many samples/many objects match problem. Artificial Intelligence. 19:(1):1982;17-37.
16. E. Grois, D.C. Wilkins, Comprehensive intelligent agent descriptions for DC-Train 4.0, Technical Report UIUC-BI-KBS-2001-0038, Beckman Institute, University of Illinois, Urbana-Champaign, IL, 2001.
17. Heath M. Scientific Computing: An Introductory Survey. 1997;McGraw Hill, New York.
18. Jensen K. Colored Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Monographs in Theoretical Computer Science. 1997;Springer, Berlin.
19. Korf R.E. Real-time heuristic search. Artificial Intelligence. 42:(2-3):1990;189-211.
20. Medeiros S., Xexeo G., de Souza J. Fuzzy Petri nets for dynamic workflow in gis environment. Portinale L., Valette R., Zhang D. Proceedings of the Workshop on Application of Petri Nets to Intelligent System Development, Williamsburg, VA. 1999;38-46.
21. Merlin P., Faber D. Recoverability of communication protocols. IEEE Trans. Comm. 24:(9):1976;1036-1043.
22. P.M. Merlin, A study of the recoverability of computing systems, Ph.D. Thesis, University of California, Irvine, CA, 1974, available from Ann Arbor, MI, Univ. Microfilms, No. 75-11026.
23. Murata T. Petri nets: Properties, analysis, and applications. Proc. IEEE. 77:1989;541-580.
24. NIST, Cfast reference documentation, National Institute of Standards and Technology, 2002, http://fast.nist.gov.
25. Peterson J. Petri Nets Theory and Modeling of Systems. 1981;Prentice-Hall, Englewood Cliffs, NJ.
26. Russell S.J., Wefald E.H. Do the Right Thing: Studies in Limited Rationality. 1991;MIT Press, Cambridge, MA.
27. Russell S.J., Wefald E.H. Principles of metareasoning. Artificial Intelligence. 49:1991;361-395.
28. G. Shou, W. Wilkins, M. Hoemann, C. Mueller, P. Tatem, F. Williams, Supervisory control system for ship damage control, Vol. 2 - Scenario generation and physical ship simulation of fire, smoke, flooding, and rupture, Technical Report NRL/MR/6180-01-8572, Naval Research Laboratory, Washington, DC, 2001.
29. J. Sil, Intelligent expert and learning systems using Petri nets, Ph.D. Thesis, Jadavpur University, 1995.
30. van der Aalst W. Interval timed colored Petri nets and their analysis. Marsan M. Applications and Theory of Petri Nets. Lecture Notes in Computer Science. 691:1993;453-472 Springer, Berlin.
31. D. Wilkins, J. Sniezek, P. Tatem, F. Williams, The DC-SCS supervisory control systems for ship damage control, Vol. 1 - Design overview, Technical Report NRL/MR/6180-01-8559, Naval Research Laboratory, Washington, DC, 2001.
32. Zhang D., Murata T. Fixpoint semantics for a Petri net model of definite clause logic programs. Adv. Theory Comp. Comput. Math. 1:1996;155-194.