Welcome to the InfoSci Platform
Reference Hub10
Time Petri Nets with Action Duration: A True Concurrency Real-Time Model

Time Petri Nets with Action Duration: A True Concurrency Real-Time Model

N. Belala, D.E. Saїdouni, R. Boukharrou, A.C. Chaouche, A. Seraoui, A. Chachoua
Copyright: © 2013 |Volume: 4 |Issue: 2 |Pages: 22
ISSN: 1947-3176|EISSN: 1947-3184|EISBN13: 9781466632929|DOI: 10.4018/jertcs.2013040104
Cite Article Cite Article

MLA

Belala, N., et al. "Time Petri Nets with Action Duration: A True Concurrency Real-Time Model." IJERTCS vol.4, no.2 2013: pp.62-83. http://doi.org/10.4018/jertcs.2013040104

APA

Belala, N., Saїdouni, D., Boukharrou, R., Chaouche, A., Seraoui, A., & Chachoua, A. (2013). Time Petri Nets with Action Duration: A True Concurrency Real-Time Model. International Journal of Embedded and Real-Time Communication Systems (IJERTCS), 4(2), 62-83. http://doi.org/10.4018/jertcs.2013040104

Chicago

Belala, N., et al. "Time Petri Nets with Action Duration: A True Concurrency Real-Time Model," International Journal of Embedded and Real-Time Communication Systems (IJERTCS) 4, no.2: 62-83. http://doi.org/10.4018/jertcs.2013040104

Export Reference

Mendeley
Favorite Full-Issue Download

Abstract

The design of real-time systems needs a high-level specification model supporting at the same time timing constraints and actions duration. The authors introduce in this paper an extension of Petri Nets called Time Petri Nets with Action Duration (DTPN) where time is associated with transitions. In DTPN, the firing of transitions is bound to a time interval and transitions represent actions which have explicit durations. The authors give an operational semantics for DTPN in terms of Durational Action Timed Automata (DATA). DTPN considers both timing constraints and durations under a true-concurrency semantics with an aim of better expressing concurrent and parallel behaviours of real-time systems.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.