TITLE

Toward Specifying Multimedia Requirements Using a New Time Petri Net Model

AUTHOR(S)
Abdelli, Abdelkrim; Badache, Nadjib
PUB. DATE
September 2007
SOURCE
Journal of Computing & Information Technology;Sep2007, Vol. 15 Issue 3, p195
SOURCE TYPE
Academic Journal
DOC. TYPE
Article
ABSTRACT
In this paper, we define a model dedicated to the specification of multimedia applications called Preemptive Time Petri Nets with synchronizing transitions (STPTPN) as an extension of T-time Petri nets where time is associated with transitions. The model is proposed in the general purpose to model a large scale of multimedia requirements. Thus, resource requirement issues are discussed in this paper, and addressed in the model. To deal with, resources are modelled as special places using a new mechanism called preemptor hyperarc which lets a transition be resource strongly -- enabled, resource -- violated or resource -- violating. Moreover, two additional mechanisms are considered: A time suspension mechanism that uses inhibitor arcs associated with stopwatches and synchronization mechanisms that allow the simultaneous firing of a set of transitions (called Rendezvous), according to different schemes. Compared to other existing models, our model is provided with an adapted semantics, designed to represent clearly and accurately time requirements, as well as the complex resource-preempting mechanisms that are observed in multimedia systems.
ACCESSION #
27346805

 

Related Articles

  • Improving the State Space Computation of the Time Stream Petri Nets Model. ABDELLI, ABDELKRIM // Computer Journal;2015, Vol. 58 Issue 7, p1607 

    An enumerative technique is presented allowing the reachability analysis of weakly synchronous systems modeled using time stream Petri net (TSPN). In a TSPN, time constraints are associated with incoming arcs, whereas synchronization rules are associated with transitions, thus allowing the...

  • Special section of SoSyM dedicated to 50 years of Petri nets. France, Robert; Rumpe, Bernhard // Software & Systems Modeling;May2015, Vol. 14 Issue 2, p667 

    An introduction is presented in which the editor discusses the use of Petri nets in very different areas.

  • NOTES REGARDING THE REDUCTION OF PETRI NETS TRANSITIONS WITH TIMED TRANSITIONS. GHEORGHE, BORDEA; SIMONA, DINU // Analele Universitatii Maritime Constanta;2011, Vol. 12 Issue 15, p165 

    In this paper, considering T-timed (i.e. with timed transitions) Petri Nets, one establishes rules for determination of nodes timings generated by the net reduction. As an application, a practical example of a T-timed Petri Net reduction by using these rules, is given at the end.

  • On suboptimal supervisory control of Petri nets in the presence of uncontrollable transitions via monitor places. Uzam, Murat // International Journal of Advanced Manufacturing Technology;Jun2010, Vol. 47 Issue 5-8, p567 

    Recently, a study has been presented for suboptimal supervisory control of Petri nets via monitor (control) places in the presence of uncontrollable transitions. To enforce a generalized mutual exclusion constraint (GMEC) suboptimally on a plant Petri net with uncontrollable transitions, a set...

  • Modeling and Application of Vehicular Cyber Physical System Based Petri Nets. Lin Chen; Linxiang Shi; Liangliang Kong // Sensors & Transducers (1726-5479);Nov2014, Vol. 182 Issue 11, p93 

    Mobile cyber physical system (MCPS) has been a hot research area, where mobile nodes can mobile, and communicate with each other. As a typical MCPS, vehicular cyber physical system (VCPS) plays an important role in intelligent transportation, especially in collision avoidance. There is no,...

  • Identification and control algorithms of functioning for neighborhood systems based on petri nets. Shmyrin, A.; Sedykh, I. // Automation & Remote Control;Jun2010, Vol. 71 Issue 6, p1265 

    We present identification and control algorithms for Petri nets from the neighborhood systems point of view.

  • SOME PROBLEMS IN MODELING OF MANUFACTURING SYSTEMS RESOURCES BY MEANS OF PETRI NETS. Kuzmin, O. E.; Bazylevych, P. R. // Actual Problems of Economics / Aktual'ni Problemi Ekonomìki;Dec2012, Vol. 138 Issue 12, p207 

    The article describes the key peculiarities of Petri nets which can be used for modeling, analysis and design of manufacturing systems. The possibilities for their application for determination of such system properties as "security", "boundedness", "liveness", "holding", "reversibility",...

  • Analysis of the Datagram Congestion Control Protocol’s connection management procedures using the sweep-line method. Vanit-Anunchai, Somsak; Billington, Jonathan; Gallasch, Guy // International Journal on Software Tools for Technology Transfer;Jan2008, Vol. 10 Issue 1, p29 

    State space explosion is a key problem in the analysis of finite state systems. The sweep-line method is a state exploration method which uses a notion of progress to allow states to be deleted from memory when they are no longer required. This reduces the peak number of states that need to be...

  • Recent and simple algorithms for Petri nets. Finkel, Alain; Leroux, Jérôme // Software & Systems Modeling;May2015, Vol. 14 Issue 2, p719 

    We show how inductive invariants can be used to solve coverability, boundedness and reachability problems for Petri nets. This approach provides algorithms that are conceptually simpler than previously published ones.

Share

Read the Article

Courtesy of VIRGINIA BEACH PUBLIC LIBRARY AND SYSTEM

Sorry, but this item is not currently available from your library.

Try another library?
Sign out of this library

Other Topics