Article

Liveness and Home States in Equal Conflict Systems

Authors:

Enrique Teruel,

Manuel SilvaAuthors Info & Claims

Proceedings of the 14th International Conference on Application and Theory of Petri Nets

Pages 415 - 432

Published: 21 June 1993 Publication History

Abstract

No abstract available.

Cited By

View all

Hujsa TDelosme JMunier-Kordon A(2014)Polynomial Sufficient Conditions of Well-Behavedness and Home Markings in Subclasses of Weighted Petri NetsACM Transactions on Embedded Computing Systems10.1145/262734913:4s(1-25)Online publication date: 28-Jul-2014
https://dl.acm.org/doi/10.1145/2627349
Júlvez J(2009)Basic qualitative properties of Petri nets with multi-guarded transitionsProceedings of the 2009 conference on American Control Conference10.5555/1702715.1703159(5026-5031)Online publication date: 10-Jun-2009
https://dl.acm.org/doi/10.5555/1702715.1703159
Bause FKriege JGlynn P(2007)Detecting non-ergodic simulation models of logistics networksProceedings of the 2nd international conference on Performance evaluation methodologies and tools10.5555/1345263.1345345(1-10)Online publication date: 22-Oct-2007
https://dl.acm.org/doi/10.5555/1345263.1345345

Liveness and Home States in Equal Conflict Systems
1. Mathematics of computing
2. Theory of computation
  1. Formal languages and automata theory

Recommendations

Priority-Based Conflict Resolution for Hardware Transactional Memory
CANDAR '14: Proceedings of the 2014 Second International Symposium on Computing and Networking

Lock-based thread synchronization techniques have been commonly used in parallel programming on multi-core processors. However, lock can cause deadlocks and poor scalabilites, and Transactional Memory (TM) has been proposed and studied for lock-free ...
Valor: efficient, software-only region conflict exceptions
OOPSLA 2015: Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications

Data races complicate programming language semantics, and a data race is often a bug. Existing techniques detect data races and define their semantics by detecting conflicts between synchronization-free regions (SFRs). However, such techniques either ...
Valor: efficient, software-only region conflict exceptions
OOPSLA '15

Data races complicate programming language semantics, and a data race is often a bug. Existing techniques detect data races and define their semantics by detecting conflicts between synchronization-free regions (SFRs). However, such techniques either ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

Proceedings of the 14th International Conference on Application and Theory of Petri Nets

June 1993

591 pages

ISBN:3540568638

Editor:
Marco Ajmone Marsan

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 21 June 1993

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 14 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Hujsa TDelosme JMunier-Kordon A(2014)Polynomial Sufficient Conditions of Well-Behavedness and Home Markings in Subclasses of Weighted Petri NetsACM Transactions on Embedded Computing Systems10.1145/262734913:4s(1-25)Online publication date: 28-Jul-2014
https://dl.acm.org/doi/10.1145/2627349
Júlvez J(2009)Basic qualitative properties of Petri nets with multi-guarded transitionsProceedings of the 2009 conference on American Control Conference10.5555/1702715.1703159(5026-5031)Online publication date: 10-Jun-2009
https://dl.acm.org/doi/10.5555/1702715.1703159
Bause FKriege JGlynn P(2007)Detecting non-ergodic simulation models of logistics networksProceedings of the 2nd international conference on Performance evaluation methodologies and tools10.5555/1345263.1345345(1-10)Online publication date: 22-Oct-2007
https://dl.acm.org/doi/10.5555/1345263.1345345

Abstract

Cited By

Recommendations

Priority-Based Conflict Resolution for Hardware Transactional Memory

Valor: efficient, software-only region conflict exceptions

Valor: efficient, software-only region conflict exceptions

Comments

Information

Published In

Publisher

Publication History

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