Title :
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
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;
Conference_Titel :
Petri Nets and Performance Models, 1993. Proceedings., 5th International Workshop on
Conference_Location :
Toulouse
Print_ISBN :
0-8186-4250-5
DOI :
10.1109/PNPM.1993.393437
