G.Bucci, A.Fedeli, L.Sassoli, E.Vicario Dipartimento Sistemi e Informatica -...  Home/Search
Context
Related
Links: DBLP | dsi.unifi.it/~vica...errinda_ECRTS03.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: dsi.unifi.it/~v...eactive_systems (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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