Article

Non Equivalence between Time Petri Nets and Time Stream Petri Nets

Authors:

Marc Boyer,

Michel DiazAuthors Info & Claims

PNPM '99: Proceedings of the The 8th International Workshop on Petri Nets and Performance Models

Page 198

Published: 08 September 1999 Publication History

Publisher Site

Abstract

It had been shown that Merlin's Time Petri Nets are a special case of Time Stream Petri Nets. In this paper, we show that it does not exist a time equivalence between both models. We extend first this result to the nonequivalence of Timed Automata and Time Petri Nets and second to the nonequivalence of Timed Link Petri Net and Timed Transition Petri Net.

Cited By

View all

Cicirelli FFurfaro ANigro LMcGraw RImsand EChinni M(2010)Using time stream Petri nets over a service architecture for workflow modelling and enactmentProceedings of the 2010 Spring Simulation Multiconference10.1145/1878537.1878674(1-8)Online publication date: 11-Apr-2010
https://dl.acm.org/doi/10.1145/1878537.1878674
Bérard BCassez FHaddad SLime DRoux O(2005)Comparison of the expressiveness of timed automata and time petri netsProceedings of the Third international conference on Formal Modeling and Analysis of Timed Systems10.1007/11603009_17(211-225)Online publication date: 26-Sep-2005
https://dl.acm.org/doi/10.1007/11603009_17
Srba J(2005)Timed-arc petri nets vs. networks of timed automataProceedings of the 26th international conference on Applications and Theory of Petri Nets10.1007/11494744_22(385-402)Online publication date: 20-Jun-2005
https://dl.acm.org/doi/10.1007/11494744_22

Index Terms

Non Equivalence between Time Petri Nets and Time Stream Petri Nets

Index terms have been assigned to the content through auto-classification.

Recommendations

Expressiveness of Petri Nets with Stopwatches. Dense-time Part

With this contribution, we aim to draw a comprehensive classification of Petri nets with stopwatches w.r.t. expressiveness and decidability issues. This topic is too ambitious to be summarized in a single paper. That is why we present our results in two ...
Expressiveness of Petri Nets with Stopwatches. Discrete-time Part

With this contribution, we aim to draw a comprehensive classification of Petri nets with stopwatches w.r.t. expressiveness and decidability issues. This topic is too ambitious to be summarized in a single paper. That is why we present our results in two ...
Expressiveness of Petri Nets with Stopwatches. Dense-time Part

With this contribution, we aim to draw a comprehensive classification of Petri nets with stopwatches w.r.t. expressiveness and decidability issues. This topic is too ambitious to be summarized in a single paper. That is why we present our results in two ...

Comments

Information & Contributors

Information

Published In

PNPM '99: Proceedings of the The 8th International Workshop on Petri Nets and Performance Models

September 1999

ISBN:0769503314

Publisher

IEEE Computer Society

United States

Publication History

Published: 08 September 1999

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 29 Jul 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Cicirelli FFurfaro ANigro LMcGraw RImsand EChinni M(2010)Using time stream Petri nets over a service architecture for workflow modelling and enactmentProceedings of the 2010 Spring Simulation Multiconference10.1145/1878537.1878674(1-8)Online publication date: 11-Apr-2010
https://dl.acm.org/doi/10.1145/1878537.1878674
Bérard BCassez FHaddad SLime DRoux O(2005)Comparison of the expressiveness of timed automata and time petri netsProceedings of the Third international conference on Formal Modeling and Analysis of Timed Systems10.1007/11603009_17(211-225)Online publication date: 26-Sep-2005
https://dl.acm.org/doi/10.1007/11603009_17
Srba J(2005)Timed-arc petri nets vs. networks of timed automataProceedings of the 26th international conference on Applications and Theory of Petri Nets10.1007/11494744_22(385-402)Online publication date: 20-Jun-2005
https://dl.acm.org/doi/10.1007/11494744_22

Abstract

Cited By

Index Terms

Recommendations

Expressiveness of Petri Nets with Stopwatches. Dense-time Part

Expressiveness of Petri Nets with Stopwatches. Discrete-time Part

Expressiveness of Petri Nets with Stopwatches. Dense-time Part

Comments

Information

Published In

Publisher

Publication History

Author Tags

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations