一种基于GIS和Petri网的城市火灾扑救调度决策方法

在加色Petri网模型的基础上,利用GIS对空间信息的分析能力,通过设计建立着色标识及其发射规则,发展了一种新的城市火灾扑救调度决策方法.与前人工作相比,在确定火灾等级和消防力量需求时,能够更充分考虑火场环境信息;通过引入对实时交通流的分析,能同时给出最优调度路径的决策结果.对火灾案例的分析表明,该方法给出的决策方案更为全面合理.     

关于半正定Hermite矩阵的一个不等式

本文建立并证明半正定Hermite矩阵的一个不等式.     

基于用例的层次Petri网建模

利用用例解决了层次Petri网建模中问题界定和问题细化的两个难点，同时也利用层次Petri网表现了用例中文本形式事件流所无法表现出事件自身的并发关系，由此建立的模型具有粒度可控和模块化良好的优点。     

Petri网并运算的性质研究

进一步研究了Petri网的并运算，讨论了这种运算保持网的动态及结构性质的条件。     

Petri网的一种硬件实现方法

Petri网是一种信息流模型，广泛应用于离散事件动态系统建模及控制领域．随着CPLD、FP-GA等可编程逻辑器件的出现，为Petri网的硬件实现提供了可能．从Petri网的原理出发，根据库所与变迁的本质特点，提出了一种Petri网硬件实现的框架，并详细阐述了如何用硬件描述语言VHDL实现C／E系统、P／T系统以及T-时延等几种典型的Petri网系统．最后用一个带有时延的P／T系统来验证此种方法的正确性．采用这种方法对离散事件动态系统控制器的设计，以及片上并行控制器、多处理器芯片的设计都具有十分重要的意义．     

一种基于离散事件模型的柔性装配系统容错控制策略

深入研究了柔性装配系统中错误检测和自恢复的同步Petri网模型．通过将系统中的传感信息和状态持续时限建模为事件集，讨论了通过过程监控生成错误恢复子网的系统容错设计方法，并对具体的错误恢复子网实施的外部条件进行了讨论．试验表明，该方法有助于提高柔性装配系统的可靠性，并为柔性装配系统布置提供了相应的设计依据．     

数据库系统并发控制的扩展有色Petri网方法

加锁与可串行化是并发控制中采取的2个主要措施.两段锁协议(two-phase locking protocol,简称2PL)是解决可串行化调度较好的方法之一,但满足可串行化的调度可能会出现死锁.为此建立了多个事务并发访问数据库的扩展有色Petri网模型,该模型可使并发事务的调度符合两段锁协议.利用该模型的可达标识图,给出了判断满足两段锁协议的调度是否死锁的充分必要条件,并由此构造出并发事务的无死锁的可串行化调度.     

基于Petri网的民事诉讼流程建模及评价

法院民事诉讼流程的建模和评价是实现其流程重组、优化和改进以及资源合理配置的基础。该文提出了采用形式化建模语言Petri网来建模法院当前的民事诉讼流程,从而可以利用Petri网分析方法(可达图、不变量)对民事诉讼流程进行正确性分析,如不存在死锁、活锁等。在此基础上,通过考虑流程中各活动的执行时间,应用随机时间Petri网对诉讼流程进行性能分析,从而可以估算诉讼流程的平均周期时间、各资源的利用率等性能指标,为法院诉讼流程的重组、优化和改进提供了决策上的支持。     

基于Petri网结构分析的死锁避免控制研究

该文基于Ｐｅｔｒｉ网的结构特性,针对柔性制造系统中共享多种资源的串行过程提出了一种死锁避免方法。通过在原Ｐｅｔｒｉ网的基础上增加局部控制库所以保证无陷井的极小死锁带有标识,将扩展网限制到安全标识,从而避免了全局死锁的发生。     

基于高级Petri网的X.25/FR开放系统互连网关的描述与验证及实现

在构造 X.2 5 / FR互连网关时 ,采用 OSI有关协议。利用一种高级 Petri网(EPr/ TN)作为形式化的描述工具建立互连网关的系统模型 ,对网关中的协议转换和数据通信过程进行描述、分析和验证 ,并实际开发出了符合该模型的互连网关