Petri网-等冲突系统中的活性与主态

原文：25 Liveness and home states in equal conflict systems 来源：Application and Theory of Petri Nets 1993

核心内容

本文讨论Petri网理论中的一个重要问题：等冲突系统（equal conflict systems）中的活性和主态问题。

关键概念

• Petri网：一种用于建模分布式系统的数学工具
• 活性（Liveness）：系统中所有动作都有机会被执行
• 主态（Home states）：系统可以从任意状态返回的状态
• 等冲突系统：一种特殊的Petri网结构，其中冲突是对称的

研究意义

Petri网理论广泛应用于：

• 并发系统建模
• 资源分配问题
• 死锁检测与分析
• 工作流程建模

相关文献

• Petri, C.A. “Zur Naturbeschreibung der Wissenschaft” (1962)
• Reisig, W. “Petri Nets: An Introduction” (1985)

说明

该文为英文PDF，pdf-inspector未能提取文本，可能为扫描版或特殊格式。建议使用OCR模式重新处理。