论文部分内容阅读
Petri网是描述异步并发系统的强有力工具,Petri网的精炼是系统分析很有效的分析方法本文主要讨论了Petri网P精炼操作对于行为相关性和不变量等保持关系,并给出了相关结论.
Petri网精练操作的性质保持关系研究
【摘 要】
：
Petri网是描述异步并发系统的强有力工具,Petri网的精炼是系统分析很有效的分析方法本文主要讨论了Petri网P精炼操作对于行为相关性和不变量等保持关系,并给出了相关结论.
【机 构】
：
同济大学电子与信息工程学院计算机科学与工程系,上海,200092
【出 处】
：
中国自动化学会第21届青年学术年会
【发表日期】
：
2006年期
其他文献
本文介绍了一个基于1-Wire总线网络的分布式温湿度监控系统的硬件设计.它由主控机和议单片机为核心的从机组成.由于采用1-Wire总线技术,该系统硬件接口比传统的设备更简单可
会议
本文介绍了基于CANBUS的智能收费控制系统的硬件和软件设计,并给出了FM24C16A的芯片接口设计方法,分析了智能收费控制系统的抗干扰措施.
CANopen是基于CAN总线的应用层协议,CANopen以其灵活性、开放性、高效性和可靠性,为嵌入式网络设计者提供很好的设计方案.本文着重介绍了CANopen协议中的位定时、对象字典、
Petri网是异步并发现象建模的重要工具,Petri网的硬件实现将为并行控制器的设计提供一种有效的途径.本文在通用的EDA软件Max+PlusⅡ中,研究了基本Petri网和时延Petri网的硬件
本文介绍了非接触式读写模块MFRC500和以太网控制器RTL8019AS,并将TCP/IP协议嵌入通用单片机中,通过RTL8019AS实现了上位控制机和读卡设备在局域网/因特网上的数据传输.文中
会议
"引潮入城"工程是1996年建成的一项专项供水工程.近期,由于机场东扩,泵站东移,自动化监控系统及通信系统需要重新设计.本论文介绍了"引潮入城"改建工程通信系统的设计,包括网
本文针对大型旋转机械,介绍了一种基于DSP、FPGA和单片机的新型的实时数据采集处理系统;充分发挥了各自的特长,使得数据采集和处理更快更有效.
本文介绍了企业资源计划(enterpriseresourceplanning,ERP)的概念和特点,阐述了水泥企业信息化的发展现状,并结合水泥生产的工艺过程和企业职能机构的设置,探讨了在水泥企业
本文讨论了一种以MCS-51系列单片机为基础的仿真器的设计制作及应用.本仿真器采用广为应用的89C52单片机为核心,可以运行著名的KeilMonitor-51监控程序.通过PC机运行KeiluVis