Compositional specification of real time embedded systems by priority time Petri Nets

Author： Mahfoudhi Adel Hadj Kacem Yessine Karamti Walid Abid Mohamed

ISSN： 0920-8542

Source： The Journal of Supercomputing, Vol.59, Iss.3, 2012-03, pp. : 1478-1503

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Time-based expressivity of time Petri nets for system specification

By Cerone A. Maggiolo-Schettini A.

Theoretical Computer Science, Vol. 216, Iss. 1, 1999-03 ,pp. : 1-53

Elsevier

Access to resources Recommend Favorite

Preface of “Specification and Validation of Real Time and Embedded systems in UML”

By Graf Susanne Haugen Oystein Ober Ileana Selic Bran

International Journal on Software Tools for Technology Transfer, Vol. 8, Iss. 2, 2006-04 ,pp. : 93-96

Springer Publishing Company

Access to resources Recommend Favorite

Static priority scheduling of event-triggered real-time embedded systems

By Erbas Cagkan Pimentel Andy Cerav-Erbas Selin

Formal Methods in System Design, Vol. 30, Iss. 1, 2007-02 ,pp. : 49-49

Springer Publishing Company

Access to resources Recommend Favorite

Static priority scheduling of event-triggered real-time embedded systems

By Erbas Cagkan Pimentel Andy Cerav-Erbas Selin

Formal Methods in System Design, Vol. 30, Iss. 1, 2007-02 ,pp. : 29-47

Springer Publishing Company

Access to resources Recommend Favorite

On the composition of time Petri nets

By Peres Florent

Discrete Event Dynamic Systems, Vol. 21, Iss. 3, 2011-09 ,pp. : 395-424

Springer Publishing Company

Access to resources Recommend Favorite