Priority scheduling of distributed systems based on model checking

DOI10.1007/s10703-011-0128-yzbMath1260.68030OpenAlexW2134284203MaRDI QIDQ453501

Saddek Bensalem, Joseph Sifakis, Ananda Basu, Doron A. Peled

Publication date: 27 September 2012

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10703-011-0128-y

zbMATH Keywords

synthesiscontroller designknowledgePetri netsmodel checkingtemporal logic

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed systems (68M14)

Related Items (1)

Liveness enforcement for production systems modeled by time Petri nets

Uses Software

• CESAR

Cites Work

• Unnamed Item
• Unnamed Item
• Achieving distributed control through model checking
• System modelling with high-level Petri nets
• Common knowledge and update in finite environments
• A general architecture for decentralized supervisory control of discrete-event systems
• Undecidable problems of decentralized observation and control on regular languages
• Undecidability in decentralized supervision
• Know means no: Incorporating knowledge into discrete-event control systems
• Priority Scheduling of Distributed Systems Based on Model Checking
• Supervisory Control of a Class of Discrete Event Processes
• Think globally, act locally: decentralized supervisory control
• A little knowledge goes a long way
• Methods for Knowledge Based Controlling of Distributed Systems

This page was built for publication: Priority scheduling of distributed systems based on model checking