紀錄類型: |
書目-電子資源
: Monograph/item
|
正題名/作者: |
Transactions on petri nets and other models of concurrency XVII/ edited by Maciej Koutny, Robin Bergenthum, Gianfranco Ciardo. |
其他題名: |
Transactions on petri nets and other models of concurrency 17 |
其他作者: |
Koutny, Maciej. |
出版者: |
Berlin, Heidelberg :Springer Berlin Heidelberg : : 2024., |
面頁冊數: |
xviii, 295 p. :ill., digital ;24 cm. |
內容註: |
A Toolchain to Compute Concurrent Places of Petri Nets -- Development and Verification of a Microservice Architecture for a Fire -- Risk Notification System -- Computing Reveals on Equal-Conflict Petri Nets -- Analysing Adaption Processes of Hornets -- A validated learning approach to healthcare process analysis through contextual and temporal filtering -- A Case Study on Data Protection for a Cloud- and AI-based Homecare Medical Device -- Strategies for Minimising the Synthesised ENL-systems -- Implementable Strategies for a Two-Player Asynchronous Game on Petri Nets -- Confusion-Tolerant Computation of Probability in Acyclic Nets -- An efficient state space construction for a class of timed automata -- Compositional Techniques for Boolean Networks and Attractor Analysis. |
Contained By: |
Springer Nature eBook |
標題: |
Petri nets. - |
電子資源: |
https://doi.org/10.1007/978-3-662-68191-6 |
ISBN: |
9783662681916 |