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] ] : 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014, Proceedings / / edited by Gianfranco Ciardo, Ekkart Kindler
| Application and Theory of Petri Nets and Concurrency [[electronic resource] ] : 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014, Proceedings / / edited by Gianfranco Ciardo, Ekkart Kindler |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XIV, 395 p. 155 illus.) |
| Disciplina | 004.24015115 |
| 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-07734-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Propagation Nets -- Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking -- Complex Networks and Link Streams for the Empirical Analysis of Large Software -- Soundness of Timed-Arc Workflow Nets -- Process Model Discovery: A Method Based on Transition System Decomposition -- Discovering Block-Structured Process Models from Incomplete Event Logs -- Synthesis of Persistent Systems -- Learning Transparent Data Automata -- A Programming Language for Spatial Distribution of Net Systems -- Flow Unfolding of Multi-clock Nets -- Non-interference by Unfolding -- The 4C Spectrum of Fundamental Behavioral Relations for Concurrent Systems -- On Weighted Petri Net Transducers -- Exhibition of a Structural Bug with Wings -- Analysis of Petri Net Models through Stochastic Differential Equations -- Dynamic Networks of Timed Petri Nets -- A Framework for Classical Petri Net Problems: Conservative Petri Nets as an Application -- On the Reversibility of Well-Behaved Weighted Choice-Free Systems -- (Stochastic) Model Checking in GreatSPN -- StrataGEM: A Generic Petri Net Verification Framework -- A Steering Server for Collaborative Simulation of Quantitative Petri Nets -- Kaira: Development Environment for MPI Applications. |
| Record Nr. | UNISA-996199996303316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Application and Theory of Petri Nets and Concurrency : 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014, Proceedings / / edited by Gianfranco Ciardo, Ekkart Kindler
| Application and Theory of Petri Nets and Concurrency : 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014, Proceedings / / edited by Gianfranco Ciardo, Ekkart Kindler |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XIV, 395 p. 155 illus.) |
| Disciplina | 004.24015115 |
| 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-07734-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Propagation Nets -- Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking -- Complex Networks and Link Streams for the Empirical Analysis of Large Software -- Soundness of Timed-Arc Workflow Nets -- Process Model Discovery: A Method Based on Transition System Decomposition -- Discovering Block-Structured Process Models from Incomplete Event Logs -- Synthesis of Persistent Systems -- Learning Transparent Data Automata -- A Programming Language for Spatial Distribution of Net Systems -- Flow Unfolding of Multi-clock Nets -- Non-interference by Unfolding -- The 4C Spectrum of Fundamental Behavioral Relations for Concurrent Systems -- On Weighted Petri Net Transducers -- Exhibition of a Structural Bug with Wings -- Analysis of Petri Net Models through Stochastic Differential Equations -- Dynamic Networks of Timed Petri Nets -- A Framework for Classical Petri Net Problems: Conservative Petri Nets as an Application -- On the Reversibility of Well-Behaved Weighted Choice-Free Systems -- (Stochastic) Model Checking in GreatSPN -- StrataGEM: A Generic Petri Net Verification Framework -- A Steering Server for Collaborative Simulation of Quantitative Petri Nets -- Kaira: Development Environment for MPI Applications. |
| Record Nr. | UNINA-9910484369103321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Applications and Theory of Petri Nets 2005 [[electronic resource] ] : 26th International Conference, ICATPN 2005, Miami, FL, June 20-25, 2005, Proceedings / / edited by Gianfranco Ciardo, Philippe Darondeau
| Applications and Theory of Petri Nets 2005 [[electronic resource] ] : 26th International Conference, ICATPN 2005, Miami, FL, June 20-25, 2005, Proceedings / / edited by Gianfranco Ciardo, Philippe Darondeau |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (XI, 475 p.) |
| Disciplina | 511.35 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Computer science—Mathematics Discrete mathematics Software engineering Operating systems (Computers) Computer networks Business information services Theory of Computation Discrete Mathematics in Computer Science Software Engineering Operating Systems Computer Communication Networks IT in Business |
| ISBN |
3-540-31559-4
3-540-26301-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Expressiveness and Efficient Analysis of Stochastic Well-Formed Nets -- Applications of Craig Interpolation to Model Checking -- Towards an Algebra for Security Policies -- Continuization of Timed Petri Nets: From Performance Evaluation to Observation and Control -- Full Papers -- Genetic Process Mining -- The (True) Concurrent Markov Property and Some Applications to Markov Nets -- On the Equivalence Between Liveness and Deadlock-Freeness in Petri Nets -- Extremal Throughputs in Free-Choice Nets -- A Framework to Decompose GSPN Models -- Modeling Dynamic Architectures Using Nets-Within-Nets -- A High Level Language for Structural Relations in Well-Formed Nets -- Derivation of Non-structural Invariants of Petri Nets Using Abstract Interpretation -- Modeling Multi-valued Genetic Regulatory Networks Using High-Level Petri Nets -- Termination Properties of TCP’s Connection Management Procedures -- Soundness of Resource-Constrained Workflow Nets -- High-Level Nets with Nets and Rules as Tokens -- Can I Execute My Scenario in Your Net? -- Reference and Value Semantics Are Equivalent for Ordinary Object Petri Nets -- Particle Petri Nets for Aircraft Procedure Monitoring Under Uncertainty -- On the Expressive Power of Petri Net Schemata -- Determinate STG Decomposition of Marked Graphs -- Timed-Arc Petri Nets vs. Networks of Timed Automata -- Specifying and Analyzing Software Safety Requirements of a Frequency Converter Using Coloured Petri Nets -- Achieving a General, Formal and Decidable Approach to the OR-Join in Workflow Using Reset Nets -- Tool Papers -- The ProM Framework: A New Era in Process Mining Tool Support -- High Level Petri Nets Analysis with Helena -- Protos 7.0: Simulation Made Accessible. |
| Record Nr. | UNISA-996466064503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Applications and Theory of Petri Nets 2005 : 26th International Conference, ICATPN 2005, Miami, FL, June 20-25, 2005, Proceedings / / edited by Gianfranco Ciardo, Philippe Darondeau
| Applications and Theory of Petri Nets 2005 : 26th International Conference, ICATPN 2005, Miami, FL, June 20-25, 2005, Proceedings / / edited by Gianfranco Ciardo, Philippe Darondeau |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (XI, 475 p.) |
| Disciplina | 511.35 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Computer science—Mathematics Discrete mathematics Software engineering Operating systems (Computers) Computer networks Business information services Theory of Computation Discrete Mathematics in Computer Science Software Engineering Operating Systems Computer Communication Networks IT in Business |
| ISBN |
3-540-31559-4
3-540-26301-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Expressiveness and Efficient Analysis of Stochastic Well-Formed Nets -- Applications of Craig Interpolation to Model Checking -- Towards an Algebra for Security Policies -- Continuization of Timed Petri Nets: From Performance Evaluation to Observation and Control -- Full Papers -- Genetic Process Mining -- The (True) Concurrent Markov Property and Some Applications to Markov Nets -- On the Equivalence Between Liveness and Deadlock-Freeness in Petri Nets -- Extremal Throughputs in Free-Choice Nets -- A Framework to Decompose GSPN Models -- Modeling Dynamic Architectures Using Nets-Within-Nets -- A High Level Language for Structural Relations in Well-Formed Nets -- Derivation of Non-structural Invariants of Petri Nets Using Abstract Interpretation -- Modeling Multi-valued Genetic Regulatory Networks Using High-Level Petri Nets -- Termination Properties of TCP’s Connection Management Procedures -- Soundness of Resource-Constrained Workflow Nets -- High-Level Nets with Nets and Rules as Tokens -- Can I Execute My Scenario in Your Net? -- Reference and Value Semantics Are Equivalent for Ordinary Object Petri Nets -- Particle Petri Nets for Aircraft Procedure Monitoring Under Uncertainty -- On the Expressive Power of Petri Net Schemata -- Determinate STG Decomposition of Marked Graphs -- Timed-Arc Petri Nets vs. Networks of Timed Automata -- Specifying and Analyzing Software Safety Requirements of a Frequency Converter Using Coloured Petri Nets -- Achieving a General, Formal and Decidable Approach to the OR-Join in Workflow Using Reset Nets -- Tool Papers -- The ProM Framework: A New Era in Process Mining Tool Support -- High Level Petri Nets Analysis with Helena -- Protos 7.0: Simulation Made Accessible. |
| Record Nr. | UNINA-9910484677103321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
PRDC 2006 : proceedings : 12th Pacific Rim International Symposium on Dependable Computing : 18-20 December, 2006, Riverside, California / / editors, Daniel Jeske, Gianfranco Ciardo, Yuan-Shun Dai ; sponsored by IEEE Computer Society Technical Committee on Fault-Tolerant Computing
| PRDC 2006 : proceedings : 12th Pacific Rim International Symposium on Dependable Computing : 18-20 December, 2006, Riverside, California / / editors, Daniel Jeske, Gianfranco Ciardo, Yuan-Shun Dai ; sponsored by IEEE Computer Society Technical Committee on Fault-Tolerant Computing |
| Pubbl/distr/stampa | New York : , : IEEE, , 2006 |
| Descrizione fisica | 1 online resource (164 pages) |
| Soggetto topico |
Fault-tolerant computing
Electronic digital computers - Reliability |
| ISBN | 1-5090-9616-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910142675803321 |
| New York : , : IEEE, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
PRDC 2006 : proceedings : 12th Pacific Rim International Symposium on Dependable Computing : 18-20 December, 2006, Riverside, California / / editors, Daniel Jeske, Gianfranco Ciardo, Yuan-Shun Dai ; sponsored by IEEE Computer Society Technical Committee on Fault-Tolerant Computing
| PRDC 2006 : proceedings : 12th Pacific Rim International Symposium on Dependable Computing : 18-20 December, 2006, Riverside, California / / editors, Daniel Jeske, Gianfranco Ciardo, Yuan-Shun Dai ; sponsored by IEEE Computer Society Technical Committee on Fault-Tolerant Computing |
| Pubbl/distr/stampa | New York : , : IEEE, , 2006 |
| Descrizione fisica | 1 online resource (164 pages) |
| Soggetto topico |
Fault-tolerant computing
Electronic digital computers - Reliability |
| ISBN | 1-5090-9616-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996199012403316 |
| New York : , : IEEE, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Transactions on Petri Nets and Other Models of Concurrency XVII / / Maciej Koutny, Robin Bergenthum, and Gianfranco Ciardo, editors
| Transactions on Petri Nets and Other Models of Concurrency XVII / / Maciej Koutny, Robin Bergenthum, and Gianfranco Ciardo, editors |
| Edizione | [First edition.] |
| Pubbl/distr/stampa | Berlin, Germany : , : Springer, , [2024] |
| Descrizione fisica | 1 online resource (311 pages) |
| Disciplina | 511.3 |
| Collana | Lecture Notes in Computer Science Series |
| Soggetto topico |
Petri nets
Computer multitasking |
| ISBN | 3-662-68191-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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. |
| Record Nr. | UNISA-996558463803316 |
| Berlin, Germany : , : Springer, , [2024] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Transactions on Petri Nets and Other Models of Concurrency XVII / / Maciej Koutny, Robin Bergenthum, and Gianfranco Ciardo, editors
| Transactions on Petri Nets and Other Models of Concurrency XVII / / Maciej Koutny, Robin Bergenthum, and Gianfranco Ciardo, editors |
| Edizione | [First edition.] |
| Pubbl/distr/stampa | Berlin, Germany : , : Springer, , [2024] |
| Descrizione fisica | 1 online resource (311 pages) |
| Disciplina | 511.3 |
| Collana | Lecture Notes in Computer Science Series |
| Soggetto topico |
Petri nets
Computer multitasking |
| ISBN | 3-662-68191-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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. |
| Record Nr. | UNINA-9910760263903321 |
| Berlin, Germany : , : Springer, , [2024] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||