Comparison of the Expressiveness of Arc, Place and Transition Time Petri Nets-Reference-Cited by-同舟云学术

Comparison of the Expressiveness of Arc, Place and Transition Time Petri Nets

Published: Issue: Volume: Page:63-82
ISSN:
Container-title:Petri Nets and Other Models of Concurrency – ICATPN 2007
language:
Short-container-title:

Author:

Boyer M.,Roux O. H.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-73094-1_7.pdf

Reference23 articles.

1. Lecture Notes in Computer Science;P.A. Abdulla,2001

2. Aura, T., Lilius, J.: A causal semantics for time petri nets. Theoretical Computer Science 243(2), 409–447 (2000)

3. Lecture Notes in Computer Science;B. Berard,2005

4. Berthomieu, B.: La méthode des classes d’états pour l’analyse des réseaux temporels. mise en œuvre, extension à la multi-sensibilisation. In: Modélisation des Systémes Réactifs (MSR’01), Toulouse (Fr), pp. 275–290, (17–19 Octobre 2001)

5. Berthomieu, B., Diaz, M.: Modeling and verification of time dependent systems using time petri nets. IEEE transactions on software engineering 17(3), 259–273 (March 1991)

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. ‘True Concurrency’ Semantics for Time Petri Nets with Weak Time and Persistent Atomic Policies;Programming and Computer Software;2021-09

2. Verification of Reachability Properties for Time Petri Nets;Lecture Notes in Computer Science;2013

3. Back in Time Petri Nets;Lecture Notes in Computer Science;2013

4. On the composition of time Petri nets;Discrete Event Dynamic Systems;2011-04-28

5. Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format;Lecture Notes in Computer Science;2009