状態遷移システムについて学ぶための良い参考資料は何ですか？

私は、連続動的システムを使用した計算の定義に関するさまざまなアプローチを研究しています。私は「状態遷移システム」の理論への素晴らしい入門書を見つけようとしてきましたが、それはできませんでした。

誰かがトピックの現代的な紹介を知っていますか？特に興味深いのは、計算可能性を扱うものです。

状態遷移システム（ラベル付き遷移システム）の主な用途の1つは、並行システムのモデル化です。

ラベル付けされた遷移システムを使用してコンカレントフォーマリズムCCSと -calculusにセマンティクスを与える非常に素晴らしくて楽しい一冊の本は、 Communicating and Mobile Systems： Robin MilnerによるPi-Calculusです。間違いなく読む価値があります。$\pi$

Christel BaierとJoost-Pieter Katoenによるモデルチェックの原則は、並行システムのモデルチェックに関するものであるため、このシステムのセマンティクスを提供するために、ラベル付きの遷移システムが本の早い段階で紹介されています。この本は、確率論的にラベル付けされた遷移についても述べています。

もう1つの可能性は同時実行性です。JeffMageeとJeff Kramerによる状態モデルとJavaプログラム。この本はより実用的なアプローチをとっていますが、ラベル付き遷移システムを使用して記述されたシステムのアナライザーが付属しています。

連続動的システムについてはあまり知りません。多分あなたはハイブリッドシステムを見たいですか？