PETRI NET TOOLS FOR THE SPECIFICATION AND ANALYSIS OF DISCRETE CONTROLLERS

被引：14

作者：

WILLSON, RG ^{[1
]}

KROGH, BH ^{[1
]}

机构：

[1] CARNEGIE MELLON UNIV,INST ROBOT,PITTSBURGH,PA 15213

来源：

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING | 1990年 / 16卷 / 01期

基金：

美国国家科学基金会;

关键词：

Analysis; Control; Discrete state systems; Modeling; Petri nets; Specification;

D O I：

10.1109/32.44362

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

This paper presents an approach for the specification, modeling, and analysis of discrete state systems and controllers. The approach features a rule-based state variable specification formalism which is translated into Petri net models composed of interconnected state machines. The concept of reduced reachability graphs is introduced as a means for reducing the computational effort required to isolate and analyze subcomponent behavior within the system. The target application is discrete manufacturing systems where the costs involved with the writing, debugging, and maintenance of code for online process control can be significantly reduced through the use of automated modeling and analysis techniques. The approach is illustrated by an example of a simple discrete state system. © 1990 IEEE

引用

页码：39 / 50

页数：12

共 23 条

[1]

AGERWALA T, 1973, 1ST P ANN S COMP ARC, P81

[2]

BECK CL, 1985, THESIS CARNEGIE MELL

[3] PROCESS-TRANSLATABLE PETRI NETS FOR THE RAPID PROTOTYPING OF PROCESS-CONTROL SYSTEMS [J].