Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Transactions on Petri Nets and Other Models of Concurrency XV [[electronic resource] /] / edited by Maciej Koutny, Fabrice Kordon, Lucia Pomello
| Transactions on Petri Nets and Other Models of Concurrency XV [[electronic resource] /] / edited by Maciej Koutny, Fabrice Kordon, Lucia Pomello |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2021 |
| Descrizione fisica | 1 online resource (XVII, 185 p. 91 illus., 48 illus. in color.) |
| Disciplina | 004.0151 |
| Collana | Transactions on Petri Nets and Other Models of Concurrency |
| Soggetto topico |
Computer science
Data structures (Computer science) Information theory Computer science - Mathematics Discrete mathematics Software engineering Computer engineering Computer networks Theory of Computation Data Structures and Information Theory Discrete Mathematics in Computer Science Software Engineering Computer Engineering and Networks |
| ISBN | 3-662-63079-6 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A Novel Token-Based Replay Technique to Speed Up Conformance Checking and Process Enhancement -- Extensible Structural Analysis of Petri Net Product Lines -- Stability of Regional Orthomodular Posets under Synchronisation and Refinement -- Efficient Synthesis of Weighted Marked Graphs with Circular Reachability Graph, and Beyond -- The Complexity of Synthesizing nop-Equipped Boolean Petri Nets from g-Bounded Inputs -- A Two-Player Asynchronous Game on Fully Observable Petri Nets -- Solving Finite-Linear-Path CTL-Formulas Using the CEGAR Approach -- Verification of the MQTT IoT Protocol Using Property-Specific CTL Sweep-Line Algorithms. |
| Record Nr. | UNINA-9910484959803321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Transactions on petri nets and other models of concurrency XVI / / Maciej Koutny, Fabrice Kordon, and Daniel Moldt
| Transactions on petri nets and other models of concurrency XVI / / Maciej Koutny, Fabrice Kordon, and Daniel Moldt |
| Autore | Koutny Maciej <1958-> |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer, , [2022] |
| Descrizione fisica | 1 online resource (154 pages) |
| Disciplina | 511.3 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico | Petri nets |
| ISBN | 3-662-65303-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996472070003316 |
Koutny Maciej <1958->
|
||
| Berlin ; ; Heidelberg : , : Springer, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Transactions on petri nets and other models of concurrency XVI / / Maciej Koutny, Fabrice Kordon, and Daniel Moldt
| Transactions on petri nets and other models of concurrency XVI / / Maciej Koutny, Fabrice Kordon, and Daniel Moldt |
| Autore | Koutny Maciej <1958-> |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer, , [2022] |
| Descrizione fisica | 1 online resource (154 pages) |
| Disciplina | 511.3 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico | Petri nets |
| ISBN | 3-662-65303-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910564700003321 |
|
Koutny Maciej <1958->
|
||
| Berlin ; ; Heidelberg : , : Springer, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
