Giacomo Bucci, Enrico Vicario  Home/Search
Context Related
| dsi.unifi.it/~vicari...michail_TSE95.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: An extended Petri Net model which considers modular partitioning along with timing restrictions and environment models is presented. Module constructs permit the specification of a complex system as a set of message passing modules with the timing semantics of Time Petri Nets. The state space of each individual module can be separately enumerated and assessed under the assumption of a partial specification of the intended module operation environment. State spaces of individual modules can be... (Update)
Context of citations to this paper: More
...o ringing would be common among them. Shared transitions are often used when introducing modularity to Petri nets [9] 7] 8] [6]. In this approach, the subsystems are modeled separately and assumed to operate independently and concurrently unless their activities...
Cited by: More
Using a Notion of Safety in Petri Nets To Analyse Real-Time.. - Ling, Schmidt (1997) (Correct)
Timed State Space Analysis of Real Time Preemptive Systems - Bucci, Fedeli, Sassoli.. (Correct)
Static Analysis and Dynamic Steering of Time-Dependent Systems - Vicario (1998) (Correct)
Active bibliography (related documents): More All
0.3: Analysis and formal Verification of SDL'92.. - Fischer, Dimitrov.. (1995) (Correct)
0.2: Specification of Timing Constraints within the Circal Process.. - Cerone, Milne (1997) (Correct)
0.2: Dealing With Zero-Time Transitions in Axiom Systems - Gargantini, Mandrioli.. (1999) (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text:
0.2: Modeling Flexible Real Time Systems with Preemptive Time.. - Bucci Fedeli Sassoli (Correct)
Related documents from co-citation: More All
14: Modeling and verification of time dependent systems using time Petri nets (context) - Berthomieu, Diaz - 1991
12: Recoverability of Communication Protocols (context) - Merlin, Faber - 1976
10: analysis and applications (context) - Murata, Properties - 1989
BibTeX entry: (Update)
G. Bucci and E. Member, Compositional validation of time-critical systems using communicating time Petri nets, IEEE Transactions on Software Engineering, 21(12): 969-992, 1995. http://citeseer.ist.psu.edu/bucci95compositional.html More
@article{ bucci95compositional,
author = "Giacomo Bucci and Enrico Vicario",
title = "Compositional Validation of Time-Critical Systems Using Communicating Time Petri Nets",
journal = "Software Engineering",
volume = "21",
number = "12",
pages = "969-992",
year = "1995",
url = "citeseer.ist.psu.edu/bucci95compositional.html" }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - Hoare - 1985
1097 Automatic Verification of Finite-State Concurrent Systems Us.. (context) - Clarke, Emerson et al. - 1986
404 Symbolic Model Checking for Real-Time Systems - Henzinger, Nicollin et al. - 1992
299 Model Checking for Real Time Systems (context) - Alur, Courcoubetis et al. - 1990
184 Automata for Modeling Real Time Systems (context) - Alur, Dill - 1990
175 Logics and Models of Real Time: a Survey - Alur, Henzinger - 1991
162 Petri Nets: Properties, Analysis and Applications (context) - Murata - 1989
141 Timing Assumptions and Verification of Finite-State Concurre.. (context) - Dill - 1989
120 A note on reliable full-duplex transmission over half-duplex.. (context) - Bartlett, Scantlebury et al. - 1969
102 Modeling and Verification of Time Dependent Systems Using Ti.. (context) - Berthomieu, Diaz - 1991
102 Formal Verification of Parallel Programs (context) - Keller - 1976
92 Quantitative Temporal Reasoning (context) - Emerson, Mok et al. - 1989
89 Strategies for RealTime System Specification (context) - Hatley, Pirbhai - 1987
75 Timed Transition Systems - Henzinger, Manna et al. - 1992
59 Timing Constraints of RealTime Systems: Constructs for Expre.. (context) - Dasarathy - 1985
54 Recoverability of Communication Protocols (context) - Merlin, Farber - 1976
47 On Satisfying Timing Constraints in Hard-Real-Time Systems (context) - Xu, Parnas - 1993
40 Hierarchies in Coloured Petri Nets (context) - Huber, Jensen et al. - 1990
40 Using Time Instead of Timeout for Fault-Tolerant Distributed.. (context) - Lamport - 1984
39 A Data Transfer Protocol (context) - Stenning - 1976
37 The Temporal Logic of Branching Time (context) - Ben-Ari, Pnueli et al. - 1983
34 Safety Analysis Using Petri Nets (context) - Leveson - 1987
32 What is Predictability for Real Time Systems (context) - Stankovic, Ramamritham - 1990
30 Protocol Verification Via Projections (context) - Lam, Shankar - 1984
19 Modular State Space Analysis of Coloured Petri Nets - Christensen, Petrucci - 1995
17 A methodology for the design and the implementation of commu.. (context) - Merlin - 1976
16 An Enumerative Approach for Analyzing Time Petri Nets - Berthomieu, Menasche - 1983
14 Putting Petri Nets to Work (context) - Agerwala - 1979
12 Protocol Representation with Finite State Models (context) - Danthine - 1984
11 Projections of the Reachability Graph and Environment Models (context) - Krumm - 1993
9 Protob: an Object Oriented Methodology for Developing Discre.. (context) - Baldassarri, Bruno - 1991
8 A Rely and Guarantee Method for Timed CSP: a Specification a.. (context) - Kay, Reed - 1993
7 Hierarchical Reachability Graph of Bounded Petri Nets for Co.. (context) - Notomi, Murata - 1994
6 Formal Analysis of the Alternating Bit Protocol by Temporal .. (context) - Suzuki - 1990
4 A Net-Based approach for Specifying Real-Time Systems (context) - Cerone - 1993
1 Validazione di Sistemi di Tempo Reale Mediante Modelli di Pe.. (context) - Vicario - 1994
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.dsi.unifi.it/~vicario/Research/Reactive_Systems/reactive_systems.html): More
Modeling Flexible Real Time Systems with Preemptive Time.. - Bucci Fedeli Sassoli (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