摘要
公寓门禁是目前公寓住户出行安全管理的一个重要方式之一,在控制不相干人群随意进入公寓中发挥着重要的作用.尽管完整的公寓门禁运行模型已经存在,但是这些模型都存在着一些缺陷,譬如模型使用方法存在各种不足、门禁运行方式单一化、开关闭系统不完善等问题.本文鉴于当前门禁运行的业务流程,通过Petri网进行形式化建模,进一步通过性质分析给出该流程的优化方法,以实现完善的公寓门禁运行流程.
出处
《赤峰学院学报（自然科学版）》
2018年第9期55-57,共3页
Journal of Chifeng University(Natural Science Edition)
基金
国家自然科学基金项目(61402011
61572035)
安徽省自然科学基金项目(1508085MF111
1608085QF149)
安徽省高校自然科学基金重点项目(KJ2016A208)
安徽理工大学研究生创新基金项目(2017CX2113)
