See this document in CiteSeerX!

Modeling Flexible Real Time Systems with Preemptive Time Petri Nets  (Make Corrections)  
G.Bucci, A.Fedeli, L.Sassoli, E.Vicario Dipartimento Sistemi e Informatica -...



  Home/Search   Context   Related

Links:   DBLP

 
View or download:
dsi.unifi.it/~vica...errinda_ECRTS03.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  dsi.unifi.it/~v...eactive_systems (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: Preemptive Time Petri Nets are obtained by extending Time Petri Nets with an additional mechanism of resource assignment which makes the progress of timed transitions be dependent on the availability of a set of preemptable resources, and with the capability to make transition times and priorities be dependent on the marking. (Update)

Active bibliography (related documents):   More   All
0.0:   Verification Tools for Embedded Systems - Clarke, Garlan, Krogh, Simmons..   (Correct)
0.0:   Table of - Ab Le Of   (Correct)
0.0:   BDD vs. Constraint-Based Model Checking: An Experimental.. - Bultan   (Correct)

Similar documents based on text:   More   All
1.0:   Timed State Space Analysis of Real Time Preemptive Systems - Bucci, Fedeli, Sassoli..   (Correct)
0.6:   A Discrete Time Model for Performance Evaluation and.. - Bucci, Sassoli, Vicario   (Correct)
0.2:   Compositional Validation of Time-Critical Systems Using.. - Bucci, Vicario (1995)   (Correct)

BibTeX entry:   (Update)

@misc{ sassoli-modeling,
  author = "Bucci Fedeli Sassoli",
  title = "Modeling Flexible Real Time Systems with Preemptive Time Petri Nets",
  url = "citeseer.ist.psu.edu/709940.html" }
Citations (may not include all citations):
167   Automatic symbolic verification of embedded systems - Alur, Henzinger et al.  ACM   DBLP

Documents on the same site (http://www.dsi.unifi.it/~vicario/Research/Reactive_Systems/reactive_systems.html):   More
Compositional Validation of Time-Critical Systems Using.. - Bucci, Vicario (1995)   (Correct)
A Discrete Time Model for Performance Evaluation and.. - Bucci, Sassoli, Vicario   (Correct)
Static Analysis and Dynamic Steering of Time-Dependent Systems - Vicario (1998)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC