医疗系统设计中 Petri 网模型的时序约束支持
软件工程
2012-10-23 v1 系统与控制
摘要
全球医疗组织正面临诸多严峻挑战，迫使系统利用现代技术和电信能力。因此，通过扩展现有信息技术基础设施来实现系统演进，已成为医疗领域最具挑战性的方面之一。在本文中，我们提出了一种新的架构，用于将医疗系统演变为面向服务的架构。由于医疗过程存在于时间上下文中，时序约束可满足性验证技术正不断发展，使设计人员能够测试和修复设计错误。得益于基于分层时序谓词 Petri 网的概念框架，设计人员可以轻松检查无死锁和安全等理想属性以及时序约束的可满足性。
引用
@article{arxiv.1210.5374,
title = {Timing Constraints Support on Petri-Net Model for Healthcare System Design},
author = {Sabri Mtibaa and Moncef Tagina},
journal= {arXiv preprint arXiv:1210.5374},
year = {2012}
}
备注
In Journal of Computing, September 2012 issue (Volume 4, Issue 9)