作者：夏传良petri网精细化操作活性有界性公平性
摘要：针对企业用加工厂或车间加工某种产品等这一类业务处理问题，提出了用Petri网精细化操作解决问题的方案。定义了一种TT-型子网，用这种子网分别对Petri网系统中的某些变迁进行细化，得到更细致、更精确的Petri网系统。研究了Petri网精细化操作的动态性质保持问题，给出这种精细化操作保持活性、有界性、可回复性和公平性的充要条件；本文的结果可为Petri网系统静态和动态性质的考察提供有效途径，为Petri网复杂大系统的分析提供重要手段，并特别适合于一类业务系统的描述和处理，具有一定的实用价值。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
