| 摘要: |
| 优先关系是并发系统控制的重要手段,常用于解决并发系统设计中的冲突问题.在有界P/T系统的基础上提出一种动态优先系统,并分别给出它们的交错语义与真并发语义.动态优先系统既可以作为并发与分布式系统的建模工具,也可以作为定义程序设计语言中优先算子的语义基础.最后,基于动态优先系统的概念,为Occam语言扩充了一种动态优先选择算子. |
| 关键词: 并发模型 Petri网 优先关系 |
| DOI： |
| 分类号: |
| 基金项目:高等学校博士点基金资助项目(99-018-411703) |
|
| Dynamic Priority Systems and Their Applications |
|
LI Wen jun,ZHOU Xiao cong,LI Shi xian
|
| Abstract: |
| Priority is an important approach to the control of concurrent systems. It is often applied to solve the conflict problems in the design of concurrent systems. In this paper, the concept of dynamic priority systems is developed based on bounded P/T systems and the interleaving and the true-concurrency semantics are provided for them respectively. Dynamic priority systems can be used as both modeling tools to build concurrent and distributed systems and semantic foundations to define prioritised operators in programming languages. Finally, the Occam language with a dynamic prioritised operator based on the concept of dynamic priority systems is extended. |
| Key words: model for concurrency Petri nets priority |
