loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Third International Conference on Application of Concurrency to System Design (ACSD'03)
Compositional High Level Petri Nets with Timing Constraints — A Comparison
Guimar?es, Portugal
June 18-June 20
ISBN: 0-7695-1887-7
Elisabeth Pelz, Universit? Paris XII-Val de Marne
Hans Fleischhack, CvO Universit?t Oldenburg
The paper aims at comparing various timed extensions of a fully compositional class of high-level Petri nets, called M-nets. On one hand, as a classical approach, a class of timed M-nets is considered, where intervals of duration are attached to each transition. More precisely, we study this class enriched by the recently introduced hierarchical operation of timed refinement. On the other hand, M-nets enriched by the causal time concept [23, 34] are considered, they are called causal time M-nets and allow to introduce timing constraints without extending the original untimed model of M-nets. Causal timeM-nets are shown to form the more powerful class. It covers timed and even hierarchical timed M-nets. Moreover, as shown by some significant examples, it permits the modelling of systems involving overlapping timing constraints. Some special cases are quoted where hierarchical timed M-nets may become favorite.
Citation:
Elisabeth Pelz, Hans Fleischhack, "Compositional High Level Petri Nets with Timing Constraints — A Comparison," acsd, pp.132, Third International Conference on Application of Concurrency to System Design (ACSD'03), 2003
Usage of this product signifies your acceptance of the Terms of Use.