Qualitative simulation of temporal concurrent processes using time interval Petri nets

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

Authors: Vadim Bulitko, David C. Wilkins 

Publication date: 7 February 2006

Published in: Artificial Intelligence (Search for Journal in Brave)

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

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

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)