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.
Application and Theory of Petri Nets and Concurrency [[electronic resource] ] : 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings / / edited by Raymond Devillers, Antti Valmari
| Application and Theory of Petri Nets and Concurrency [[electronic resource] ] : 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings / / edited by Raymond Devillers, Antti Valmari |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (X, 351 p. 129 illus.) |
| Disciplina | 511.35 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Software engineering Compilers (Computer programs) Computer Science Logic and Foundations of Programming Software Engineering Compilers and Interpreters |
| ISBN | 3-319-19488-7 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996198524603316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Application and Theory of Petri Nets and Concurrency : 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings / / edited by Raymond Devillers, Antti Valmari
| Application and Theory of Petri Nets and Concurrency : 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings / / edited by Raymond Devillers, Antti Valmari |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (X, 351 p. 129 illus.) |
| Disciplina | 511.35 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Software engineering Compilers (Computer programs) Computer Science Logic and Foundations of Programming Software Engineering Compilers and Interpreters |
| ISBN | 3-319-19488-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910484073003321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Petri Net Primer : A Compendium on the Core Model, Analysis, and Synthesis / / by Eike Best, Raymond Devillers
| Petri Net Primer : A Compendium on the Core Model, Analysis, and Synthesis / / by Eike Best, Raymond Devillers |
| Autore | Best Eike |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Birkhäuser, , 2024 |
| Descrizione fisica | 1 online resource (548 pages) |
| Disciplina | 004.0151 |
| Altri autori (Persone) | DevillersRaymond |
| Collana | Computer Science Foundations and Applied Logic |
| Soggetto topico |
Computer science - Mathematics
Discrete mathematics Dynamical systems Mathematical models Stochastic models Discrete Mathematics in Computer Science Dynamical Systems Mathematical Modeling and Industrial Mathematics Stochastic Modelling |
| ISBN | 3-031-48278-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preface -- 1 First Steps in Petri Nets -- 2 Languages of Petri Nets -- 3 Reachability and Coverability -- 4 Linear-algebraic Structure of Petri Nets -- 5 Graph-theoretical Structure of Petri Nets -- 6 More Structure Theory -- 7 Program Verification Using Traps -- 8 Fairness, Simulations, and Inhibitor Arcs -- 9 Unfoldings and Reachability Checking -- 10 Petri Net Computers -- 11 Synthesis of Petri Nets from Labelled Transition Systems -- 12 Persistent Transition Systems and Choice-free Petri Nets -- 13 Divide-and-Conquer Methods for Synthesis -- 14 Marked Graph Synthesis -- 15 Bounded Choice-free Net Synthesis -- 16 Model Checking Safe, Strongly Persistent Petri Nets -- 17 Semilinearity -- 18 Decidability of the reachability problem -- 19 The Box Algebra 1/2: Refinement and Recursion -- 20 The Box Algebra 2/2: Iteration and Data -- 21 High-level Petri Nets -- Biblyography -- Index. |
| Record Nr. | UNINA-9910805576003321 |
Best Eike
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Birkhäuser, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||