A reactive real-time systems modelling and programming aid tool based on the synchronous Petri nets formalism

Author

Hilal, R. ; Ladet, P.

Author_Institution

Lab. d´´Automatique de Grenoble, ENSIE, France

fYear

1993

fDate

19-22 Oct 1993

Firstpage

34

Lastpage

43

Abstract

The design and the implementation of a reactive real-time system modeling and programming tool based on the synchronous Petri nets formalism (SynPN) are presented. This formalism combines the advantages of two existing formalisms: the synchronous languages (SL) and the Petri nets (PN). The SynPN basic assumptions and the synchronous interpretation principles are explained, illustrated with examples. The SynPN formal definition is given as well as the interpretation algorithm. The SynPN based tool, which aids in reactive real-time system modeling and programming is introduced. The modeling and the programming of a chronometer using the SynPN formalism are addressed

Keywords

Petri nets; real-time systems; software tools; Petri nets; SynPN; SynPN based tool; programming tool; reactive real-time systems; synchronous languages; Automata; Flexible manufacturing systems; Laser sintering; Manufacturing automation; Manufacturing industries; Nuclear power generation; Parallel programming; Petri nets; Real time systems; Resource management;

fLanguage

English

Publisher

ieee

Conference_Titel

Petri Nets and Performance Models, 1993. Proceedings., 5th International Workshop on

Conference_Location

Toulouse

Print_ISBN

0-8186-4250-5

Type

conf

DOI

10.1109/PNPM.1993.393437

Filename

393437