Qualitative simulation of temporal concurrent processes using time interval Petri nets

DOI10.1016/S0004-3702(02)00369-7zbMATH Open1079.68578MaRDI QIDQ814432FDOQ814432

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)

Cites Work

• Real-time heuristic search
• Title not available (Why is that?)
• Title not available (Why is that?)
• Recoverability of Communication Protocols--Implications of a Theoretical Study
• A Bayesian approach to relevance in game playing
• Principles of metareasoning
• AI 2005: Advances in Artificial Intelligence

   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 👍 👎

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)