𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Timed Modal Logics for Real-Time Systems

✍ Scribed by Patricia Bouyer; Franck Cassez; François Laroussinie

Publisher
Springer Netherlands
Year
2010
Tongue
English
Weight
499 KB
Volume
20
Category
Article
ISSN
0925-8531

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Real-Time Systems || Timed Petri Nets
Real-Time Systems || Timed Petri Nets
✍ Cheng, Albert M. K. 📂 Article 📅 2002 🏛 John Wiley & Sons, Inc. ⚖ 171 KB 👁 2 views

## TIMED PETRI NETS Petri nets were developed as an operational formalism for specifying untimed concurrent systems. They can show concurrent activities by depicting control and data flows in different parts of the modeled system. As an operational formalism, a Petri net gives a dynamic representa

Real-Time Systems || Verification Using
Real-Time Systems || Verification Using Timed Automata
✍ Cheng, Albert M. K. 📂 Article 📅 2002 🏛 John Wiley & Sons, Inc. ⚖ 192 KB 👁 2 views

Finite automata and temporal logics have been used extensively to formally verify qualitative properties of concurrent systems. The properties include deadlock-or livelock-freedom, the eventual occurrence of an event, and the satisfaction of a predicate. The need to reason with absolute time is unne