Abstract: In this paper,we first show a model of multi-thread data acquisition system with shared resources and adopt elementary net system to analyze the behavior of the system.Then basing on colored Petri net simulating system,we present an important scheme for solving the resources conflict and scheduling system resources.

摘要： 针对一种资源共享多线程数据采集系统的模型,采用基本网系统分析其系统行为,并用有色网模拟系统,提出了资源的部分共享方案,解决了系统的资源冲突和调度问题。

关键词: Petri网, 有色网系统, 资源共享

CLC Number: 

• TP274.2