Post and pre-initialized stopwatch petri nets

Adib Allahham*, Hassane Alla

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

1 Citation (Scopus)


A modeling paradigm called Post and Pre-initialized Stopwatch Petri Nets (SWPN) is introduced. It extends Time Petri Nets TPN to the concept of stopwatch with an original mechanism of stopwatches reset. SWPN makes this reset dependent on the firing of the corresponding transitions. The resulting model permits natural description of so-called preemption-resume behavior. We give the formal semantics of SWPN as a timed transition system.We propose also a method for its analysis consisting in the computation of its equivalent stopwatch automaton SWA. The advantage of Petri Nets for modeling the complex system in concise way is combined with the power analysis of SWA.

Original languageEnglish
Title of host publicationDCDS'07 - 1st IFAC Workshop on Dependable Control of Discrete Systems
PublisherIFAC Secretariat
Number of pages6
EditionPART 1
ISBN (Print)9783902661395
Publication statusPublished - 2007
Externally publishedYes

Publication series

NameIFAC Proceedings Volumes (IFAC-PapersOnline)
NumberPART 1
ISSN (Print)1474-6670

Cite this