用Petri网解决经典进程同步问题  

作　　者：刘建华[1] 王勇[2] 

机构地区：[1]桂林航天工业高等专科学校,广西桂林541004 [2]上海电力学院计算机系,上海200062

出　　处：《桂林航天工业高等专科学校学报》2004年第1期25-26,30,共3页Journal of Guilin College of Areospace Technology

摘　　要：Petri网是一种适于描述和分析异步并发系统的有力工具。进程间的同步与互斥是操作系统的关键问题。传统的进程同步互斥方法有 :加锁机制、信号量机制和管程机制等。

关 键 词：PETRI网 进程同步 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]