{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T13:45:49Z","timestamp":1760622349721},"reference-count":32,"publisher":"Elsevier BV","issue":"1-2","license":[{"start":{"date-parts":[[2003,3,1]],"date-time":"2003-03-01T00:00:00Z","timestamp":1046476800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,8,22]],"date-time":"2013-08-22T00:00:00Z","timestamp":1377129600000},"content-version":"vor","delay-in-days":3827,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Artificial Intelligence"],"published-print":{"date-parts":[[2003,3]]},"DOI":"10.1016\/s0004-3702(02)00369-7","type":"journal-article","created":{"date-parts":[[2003,3,4]],"date-time":"2003-03-04T14:05:18Z","timestamp":1046786718000},"page":"95-124","source":"Crossref","is-referenced-by-count":13,"title":["Qualitative simulation of temporal concurrent processes using Time Interval Petri Nets"],"prefix":"10.1016","volume":"144","author":[{"given":"Vadim","family":"Bulitko","sequence":"first","affiliation":[]},{"given":"David C.","family":"Wilkins","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0004-3702(02)00369-7_BIB001","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1016\/S0004-3702(97)00059-3","article-title":"A Bayesian approach to relevance in game-playing","volume":"97","author":"Baum","year":"1997","journal-title":"Artificial Intelligence"},{"issue":"3","key":"10.1016\/S0004-3702(02)00369-7_BIB002","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1109\/32.75415","article-title":"Modelling and verification of time dependent systems using Time Petri Nets","volume":"17","author":"Berthomieu","year":"1991","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0004-3702(02)00369-7_BIB003","first-page":"41","article-title":"An enumerative approach for analyzing time Petri nets","volume":"9","author":"Berthomieu","year":"1983"},{"key":"10.1016\/S0004-3702(02)00369-7_BIB004","unstructured":"V. Bulitko, Minerva-5: A multifunctional dynamic expert system, Master's Thesis, Department of Computer Science, University of Illinois at Urbana-Champaign, IL, 1998"},{"key":"10.1016\/S0004-3702(02)00369-7_BIB005","unstructured":"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"},{"key":"10.1016\/S0004-3702(02)00369-7_BIB006","series-title":"Proceedings of the 11th Innovative Applications of Artificial Intelligence '99 Conference, Orlando, FL","first-page":"778","article-title":"Automated instructor assistant for ship damage control","author":"Bulitko","year":"1999"},{"key":"10.1016\/S0004-3702(02)00369-7_BIB007","series-title":"Proceedings of the Workshop on Application of Petri Nets to Intelligent System Development, Williamsburg, USA","first-page":"14","article-title":"Damage control domain: Using Petri nets for intelligent scheduling","author":"Bulitko","year":"1999"},{"key":"10.1016\/S0004-3702(02)00369-7_BIB008","series-title":"Proceedings of the American Association for Artificial Intelligence (AAAI) Workshop on Reasoning in Context for AI Applications, Orlando, FL","article-title":"Using Petri nets to represent context in blackboard scheduling","author":"Bulitko","year":"1999"},{"key":"10.1016\/S0004-3702(02)00369-7_BIB009","unstructured":"V. Bulitko, D. Wilkins, Inductive learning for time interval Petri nets, J. Machine Learning Res. 2002 (submitted)"},{"key":"10.1016\/S0004-3702(02)00369-7_BIB010","series-title":"Proceedings of the AAAI\/KDD\/UAI-2002 Joint Workshop on Real-Time Decision Support and Diagnosis Systems","first-page":"37","article-title":"Real-time decision making for shipboard damage control","author":"Bulitko","year":"2002"},{"key":"10.1016\/S0004-3702(02)00369-7_BIB011","series-title":"Proceedings of the Workshop on Application of Petri Nets to Intelligent System Development, Williamsburg, VA","first-page":"59","article-title":"Modeling and analysis of a multi-agent system using colored Petri nets","author":"Costa Miranda","year":"1999"},{"key":"10.1016\/S0004-3702(02)00369-7_BIB012","volume":"1639","author":"Donatelli","year":"1999"},{"key":"10.1016\/S0004-3702(02)00369-7_BIB013","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/0004-3702(84)90038-9","article-title":"Qualitative process theory","volume":"24","author":"Forbus","year":"1984","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(02)00369-7_BIB014","doi-asserted-by":"crossref","unstructured":"C. Forgy, OPS5 user's manual, Technical Report CMU-CS-81-135, Department of Computer Science, Carnegie-Mellon University, Pittsburgh, PA, 1981","DOI":"10.21236\/ADA106558"},{"issue":"1","key":"10.1016\/S0004-3702(02)00369-7_BIB015","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1016\/0004-3702(82)90020-0","article-title":"Rete: A fast algorithm for the many samples\/many objects match problem","volume":"19","author":"Forgy","year":"1982","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(02)00369-7_BIB016","unstructured":"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"},{"key":"10.1016\/S0004-3702(02)00369-7_BIB017","series-title":"Scientific Computing: An Introductory Survey","author":"Heath","year":"1997"},{"key":"10.1016\/S0004-3702(02)00369-7_BIB018","series-title":"Colored Petri Nets. Basic Concepts, Analysis Methods and Practical Use","author":"Jensen","year":"1997"},{"issue":"2\u20133","key":"10.1016\/S0004-3702(02)00369-7_BIB019","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1016\/0004-3702(90)90054-4","article-title":"Real-time heuristic search","volume":"42","author":"Korf","year":"1990","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(02)00369-7_BIB020","series-title":"Proceedings of the Workshop on Application of Petri Nets to Intelligent System Development, Williamsburg, VA","first-page":"38","article-title":"Fuzzy Petri nets for dynamic workflow in gis environment","author":"Medeiros","year":"1999"},{"issue":"9","key":"10.1016\/S0004-3702(02)00369-7_BIB021","doi-asserted-by":"crossref","first-page":"1036","DOI":"10.1109\/TCOM.1976.1093424","article-title":"Recoverability of communication protocols","volume":"24","author":"Merlin","year":"1976","journal-title":"IEEE Trans. Comm."},{"key":"10.1016\/S0004-3702(02)00369-7_BIB022","unstructured":"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"},{"key":"10.1016\/S0004-3702(02)00369-7_BIB023","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","article-title":"Petri nets: Properties, analysis, and applications","volume":"77","author":"Murata","year":"1989","journal-title":"Proc. IEEE"},{"key":"10.1016\/S0004-3702(02)00369-7_BIB024","unstructured":"NIST, Cfast reference documentation, National Institute of Standards and Technology, 2002, http:\/\/fast.nist.gov"},{"key":"10.1016\/S0004-3702(02)00369-7_BIB025","series-title":"Petri Nets Theory and Modeling of Systems","author":"Peterson","year":"1981"},{"key":"10.1016\/S0004-3702(02)00369-7_BIB026","series-title":"Do the Right Thing: Studies in Limited Rationality","author":"Russell","year":"1991"},{"key":"10.1016\/S0004-3702(02)00369-7_BIB027","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1016\/0004-3702(91)90015-C","article-title":"Principles of metareasoning","volume":"49","author":"Russell","year":"1991","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(02)00369-7_BIB028","doi-asserted-by":"crossref","unstructured":"G. Shou, W. Wilkins, M. Hoemann, C. Mueller, P. Tatem, F. Williams, Supervisory control system for ship damage control, Vol. 2\u2014Scenario generation and physical ship simulation of fire, smoke, flooding, and rupture, Technical Report NRL\/MR\/6180-01-8572, Naval Research Laboratory, Washington, DC, 2001","DOI":"10.21236\/ADA390196"},{"key":"10.1016\/S0004-3702(02)00369-7_BIB029","unstructured":"J. Sil, Intelligent expert and learning systems using Petri nets, Ph.D. Thesis, Jadavpur University, 1995"},{"key":"10.1016\/S0004-3702(02)00369-7_BIB030","series-title":"Applications and Theory of Petri Nets","first-page":"453","article-title":"Interval timed colored Petri nets and their analysis","volume":"691","author":"van der Aalst","year":"1993"},{"key":"10.1016\/S0004-3702(02)00369-7_BIB031","unstructured":"D. Wilkins, J. Sniezek, P. Tatem, F. Williams, The DC-SCS supervisory control systems for ship damage control, Vol. 1\u2014Design overview, Technical Report NRL\/MR\/6180-01-8559, Naval Research Laboratory, Washington, DC, 2001"},{"key":"10.1016\/S0004-3702(02)00369-7_BIB032","first-page":"155","article-title":"Fixpoint semantics for a Petri net model of definite clause logic programs","volume":"1","author":"Zhang","year":"1996","journal-title":"Adv. Theory Comp. Comput. Math."}],"container-title":["Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0004370202003697?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0004370202003697?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,3,12]],"date-time":"2020-03-12T06:51:31Z","timestamp":1583995891000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0004370202003697"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,3]]},"references-count":32,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2003,3]]}},"alternative-id":["S0004370202003697"],"URL":"https:\/\/doi.org\/10.1016\/s0004-3702(02)00369-7","relation":{},"ISSN":["0004-3702"],"issn-type":[{"value":"0004-3702","type":"print"}],"subject":[],"published":{"date-parts":[[2003,3]]}}}