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

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.<
>