有色时间Petri网相关论文
汽车车身控制系统是典型的离散事件系统,结合规则化描述方法接近自然语言、易于理解、便于建模和Petri网模型易于模拟验证的特点,......
Petri网是一种适合于描述异步并发现象的系统模型,是离散事件系统建模的一种强有力工具,但是在使用基本Petri网来为复杂系统建模时......
本文在分析维修过程中确定维修活动次序和选择维修资源常用规则的基础上，为时间有色Petri网的变迁规则增加了约束，提出了带优先级的......
期刊
访问控制是信息系统的一个重要安全保护机制，主体只有在被授权时才能对客体进行访问。应用有色时间Petri网对安全工作流模型进行了......
衔接多个方向的大型客运站接发车作业密集,咽喉区交叉干扰多,通常构成行车组织的瓶颈,例如广州站、武汉站、郑州站、北京站及成都......
