Yüklüyor…
Cause-Effect Structures An Algebra of Nets with Examples of Applications /
This book presents a new algebraic system whose interpretation coincides with the behaviour of Petri nets, enhanced with an inhibitory mechanism and four time models. Its goal is to provide a formal means of modelling dynamic tasks, and of testing and verifying properties, in contexts characterised...
| Yazar: | |
|---|---|
| Müşterek Yazar: | |
| Materyal Türü: | e-Kitap |
| Dil: | İngilizce |
| Baskı/Yayın Bilgisi: |
Cham :
Springer International Publishing : Imprint: Springer,
2019.
|
| Edisyon: | 1st ed. 2019. |
| Seri Bilgileri: | Lecture Notes in Networks and Systems,
45 |
| Konular: | |
| Online Erişim: | Full-text access OPAC'ta görüntüle |
Internet
Full-text accessOPAC'ta görüntüle
Merkez Kütüphane
| Kopya Bilgisi | UnknownBarcode |
|---|