赋色Petri网相关论文
随着城市居民汽车保有量的持续增加,城市交通拥堵问题越来越严重。在现有的交叉口信号控制系统中,车辆驾驶员通过观察信号灯的变化......
针对多用户环境中协作权限动态分配与回收,及可靠性验证问题,提出基于活动、角色的协作权限动态管理机制,采用赋色Pe砸网建立形式化模......
为了确保在多用户协同设计环境中对文档及视图访问权限的动态分配与回收、提出了基于活动序列的访问控制模型,采用赋色Petri网描述......
针对柔性装配系统复杂的并行作业特点,提出了规则嵌入赋色Petri(RCP)网模型.给出RCP的定义,利用面向对象的语言实现了网的静态描述......
在分析和总结主体-对象访问模型和CSCWD(计算机支持协同设计)访问控制需求的基础上,提出一种新的访问控制模型--基于任务角色的粗......
随着城市化大规模的发展,城市交通问题日益严重。优先发展城市公共交通是解决交通问题的有效途径,在道路资源有限的情况下,公交信......
介绍了Perti网概念及其标识转移方程的完整动态描述.对复杂的防空导弹C3I空防对抗过程进行了具体分析,描述了某型防空导弹的具体作......
针对地空导弹武器系统防空中的火力分配问题,建立了战术级防空C^4ISRK系统的Petri网模型。对其进行扩展,即联合谓词Petri网和赋色Pet......
随着社会经济的蓬勃发展,汽车保有量持续增长,随之而来出现城市交通基础设施的建设速度赶不上交通需求增长速度的情况,由此造成的......