A case study in design and verification of manufacturing system control software with hierarchical Petri nets

被引：8

作者：

Heiner, M ^{[1
]}

Deussen, P ^{[1
]}

Spranger, J ^{[1
]}

机构：

[1] Brandenburg Tech Univ Cottbus, Dept Comp Sci, D-030130 Cottbus, Germany

来源：

INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY | 1999年 / 15卷 / 02期

关键词：

concurrent system engineering; control software; hierarchical Petri nets; manufacturing software; process model; reusable components; temporal logics; validation;

D O I：

10.1007/s001700050051

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

The application of Petri nets is one of the well-known approaches for developing provably error-free control software far manufacturing systems. To evaluate the practicability of available methods and tools for at least medium-sized systems, a case study has been performed to develop modularised control software of a production cell with hierarchical Petri nets, supporting reuse as well as stepwise validation.

引用

页码：139 / 152

页数：14

共 27 条

[1] THE TEMPORAL LOGIC OF BRANCHING TIME [J].

BENARI, M ;

PNUELI, A ;

MANNA, Z .

ACTA INFORMATICA, 1983, 20 (03) :207-226

[2]

BEST E, 1995, PEP PROGRAMMING ENV

[3]

BRIANT RE, 1986, IEEE T COMPUT, V35, P677

[4]

BRIZ JL, 1994, LECT NOTES COMPUTER, V815, P99

[5]

CASAIS E, 1994, FZI PUBLICATION, V194, P241

[6]

CORBETT JC, 1994, EVALUTING DEADLOCK D

[7]

Emerson E.A., 1990, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics, P995, DOI DOI 10.1016/B978-0-444-88074-1.50021-4

[8] BRANCHING-PROCESSES OF PETRI NETS [J].

ENGELFRIET, J .

ACTA INFORMATICA, 1991, 28 (06) :575-591

[9] MODEL CHECKING USING NET UNFOLDINGS [J].

ESPARZA, J .

SCIENCE OF COMPUTER PROGRAMMING, 1994, 23 (2-3) :151-195

[10]

GERMAN R, 1994, TIMENET TOOL KIT EVA

← 1 2 3 →