###
DOI:
Journal of Software:2001.12(4):512-520

基于Petri网语言的并发系统性质研究
蒋昌俊,陆维明
(山东科技大学计算机科学与技术系,山东泰安 271019;中国科学院数学研究所,北京 100080)
On Properties of Concurrent System Based on Petri Net Language
JIANG Chang-jun,LU Wei-ming
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 2415   Download 2643
Received:September 18, 1999    Revised:April 10, 2000
> 中文摘要: 给出Petri网弱活性(无死锁)与活性的两个语言刻画,讨论了同步合成Petri网的语言性质,基于Petri网语言,给出了判定Petri网活性的充分必要条件。同时研究了Petri网同步合成过程中活性保持问题,给出保持活性的充分必要条件。这些结果为讨论网的活性测试和控制提供了形式语言的方法。
中文关键词: Petri网  并发系统  活性  同步合成  测试  控制
Abstract:In this paper, two language characterizations for weak liveness (free-deadlock) and liveness of Petri nets are given. Some language properties of synchronous composed Petri nets are discussed. Based on Petri net language, a necessary and sufficient condition is given for live Petri net (bounded), and then the liveness presevation in a synchronous composed net is studied and a necessary and sufficient condition is obtained. Those results give a formal language method for net liveness testing and liveness controlling.
文章编号:     中图分类号:    文献标志码:
基金项目:This project is supported by the National Natural Science Foundation of China under Grant Nos.69973029, 69933020 (国家自然科学基金) This project is supported by the National Natural Science Foundation of China under Grant Nos.69973029, 69933020 (国家自然科学基金)
Foundation items:
Reference text:

蒋昌俊,陆维明.基于Petri网语言的并发系统性质研究.软件学报,2001,12(4):512-520

JIANG Chang-jun,LU Wei-ming.On Properties of Concurrent System Based on Petri Net Language.Journal of Software,2001,12(4):512-520