Qualitative simulation of temporal concurrent processes using time interval Petri nets

DOI10.1016/S0004-3702(02)00369-7MaRDI QIDQ814432zbMATH OpenFDO

Authors Vadim Bulitko, David C. Wilkins

Publication date 7 February 2006

Published in Artificial Intelligence (Search for Journal in Brave)

zbMATH Keywords

Petri netsBounded rationalityIntelligent systemsDamage controlEnvisionment-based control policiesQualitative simulationReal-time decision makingTemporal reasoning

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Distributed simulation of modular time Petri nets: An approach and a case study exploiting temporal uncertainty
• ML-TIPN: an algorithm for automated acquisition of domain models based on time interval Petri nets
• AI 2005: Advances in Artificial Intelligence
• Focusing qualitative simulation using temporal logic: Theoretical foundations
• Temporal uncertainty and fuzzy-timing high-level Petri nets

Cites work

• scientific article; zbMATH DE number 3722109 (Why is no real title available?)
• scientific article; zbMATH DE number 1049168 (Why is no real title available?)
• A Bayesian approach to relevance in game playing
• AI 2005: Advances in Artificial Intelligence
• Principles of metareasoning
• Real-time heuristic search
• Recoverability of Communication Protocols--Implications of a Theoretical Study

Cited in

(2)

• Distributed simulation of modular time Petri nets: An approach and a case study exploiting temporal uncertainty
• ML-TIPN: an algorithm for automated acquisition of domain models based on time interval Petri nets

This page was built for publication: Qualitative simulation of temporal concurrent processes using time interval Petri nets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q814432)