Serge Haddad, et al.  Home/Search
Context Related
| src.lip6.fr/homepages/Deni...wodes00.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: src.lip6.fr/homepages/Denis.Po... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Recursive Petri nets (RPNs) have been introduced to model systems with dynamic structure. In a previous work, we have shown that this model is a strict extension of Petri nets, whereas reachability in RPNs remains decidable. Here, we focus on its modelling features and on some additional theoretical aspects. Three different kinds of discrete event systems are modellized by RPNs in order to give an insight of their capabilities to express various mechanisms. Decision procedures for new... (Update)
Cited by: More
Checking Linear Temporal Formulas on Sequential Recursive.. - Serge Haddad Lamsade (Correct)
Similar documents (at the sentence level):
18.6%: Decidability and Undecidability Results for - Recursive Petri Nets (1999) (Correct)
8.9%: A Model Checking Decision Procedure for Sequential.. - Haddad, Poitrenaud (2000) (Correct)
Active bibliography (related documents): More All
1.0: Modelling and Analyzing Systems with Recursive Petri Nets - Haddad, Poitrenaud (2000) (Correct)
0.3: More Infinite Results - Esparza (1996) (Correct)
0.1: Process Rewrite Systems - Mayr (1997) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
S. Haddad and D. Poitrenaud. Modelling and analyzing systems with recursive Petri nets. In Proc. of the Workshop on Discrete Event Systems - Analysis and Control, pages 449--458, Gand, Belgique, Aug. 2000. Kluwer Academics Publishers. http://citeseer.ist.psu.edu/article/haddad00modelling.html More
@misc{ haddad00modelling,
author = "S. Haddad and D. Poitrenaud",
title = "Modelling and analyzing systems with recursive Petri nets",
text = "S. Haddad and D. Poitrenaud. Modelling and analyzing systems with recursive
Petri nets. In Proc. of the Workshop on Discrete Event Systems - Analysis
and Control, pages 449--458, Gand, Belgique, Aug. 2000. Kluwer Academics
Publishers.",
year = "2000",
url = "citeseer.ist.psu.edu/article/haddad00modelling.html" }
Citations (may not include all citations):103 An algorithm for the general Petri net reachability problem (context) - Mayr - 1981
85 Coloured Petri nets (context) - Jensen - 1987
41 Decidability of model checking for infinite-state concurrent.. - Esparza - 1997
11 Combining Petri nets and PA-processes - Mayr - 1997
9 A recursive model for distributed planning - Seghrouchni, Haddad - 1996
5 Theoretical aspects of recursive Petri nets - Haddad, Poitrenaud - 1999
4 Decidability and undecidability results for recursive Petri .. (context) - Haddad, Poitrenaud - 1999
3 Constrained properties (context) - Bouajjani, Habermehl - 1996
Documents on the same site (http://www-src.lip6.fr/homepages/Denis.Poitrenaud/): More
A Model Checking Decision Procedure for Sequential.. - Haddad, Poitrenaud (2000) (Correct)
Decidability and Undecidability Results for - Recursive Petri Nets (1999) (Correct)
Pre and Post-Agglomerations for - Ltl Model Checking (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