Priority systems

DOI10.1007/978-3-540-30101-1_15MaRDI QIDQ5311294zbMATH OpenOpenAlexFDO

Authors Joseph Sifakis, Gregor Gössler

Publication date 22 August 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b100112

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• On the hardness of priority synthesis
• Building distributed controllers for systems with priorities
• Algorithms for synthesizing priorities in component-based systems
• Component-Based Construction of Deadlock-Free Systems
• Petri net semantics of priority systems

Cited in

(10)

• Priority constructions
• Expressiveness of component-based frameworks: a study of the expressiveness of BIP
• Distributed implementation of systems with multiparty interactions and priorities
• Algorithms for synthesizing priorities in component-based systems
• Model Checking Bounded Prioritized Time Petri Nets
• Conflict-Tolerant Features
• scientific article; zbMATH DE number 7440178 (Why is no real title available?)
• On the hardness of priority synthesis
• Building distributed controllers for systems with priorities
• The Power of Priority Channel Systems

This page was built for publication: Priority systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5311294)