HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Journal articles

Petri nets as executable specifications of high-level timed parallel systems.

Abstract : We propose to use high-level Petri nets as a model for the semantics of high-level parallel systems. This model is known to be useful for the purpose of verification and we show that it is also executable in a parallel way. Executing a Petri net is not difficult in general but more complicated in a timed context, which makes necessary to synchronise the internal time of the Petri net with the real time of its environment. Another problem is to relate the execution of a Petri net, which has its own semantics, to that of its environment; ie, to properly handle input/output. This paper presents a parallel algorithm to execute Petri nets with time, enforcing the even progression of internal time with respect to that of the real time and allowing the exchange of information with the environment. We define a class of Petri nets suitable for a parallel execution machine which preserves the step sequence semantics of the nets and ensures time consistent executions while taking into account the solicitation of its environment. The question of the efficient verification of such nets has been addressed in a separate paper, the present one is more focused on the practical aspects involved in the execution of so modelled systems.
Document type :
Journal articles
Complete list of metadata

Cited literature [14 references]  Display  Hide  Download

Contributor : Franck Pommereau Connect in order to contact the contributor
Submitted on : Friday, November 17, 2006 - 1:01:10 PM
Last modification on : Tuesday, October 19, 2021 - 4:06:39 PM
Long-term archiving on: : Tuesday, April 6, 2010 - 7:41:41 PM


Publisher files allowed on an open archive


  • HAL Id : hal-00114669, version 1



Franck Pommereau. Petri nets as executable specifications of high-level timed parallel systems.. Scalable Computing : Practice and Experience, West University of Timisoara, 2005, 6 (4), pp.71-82. ⟨hal-00114669⟩



Record views


Files downloads