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.
Applications and Theory of Petri Nets [[electronic resource] ] : 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009, Proceedings / / edited by Giuliana Franceschinis, Karsten Wolf
| Applications and Theory of Petri Nets [[electronic resource] ] : 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009, Proceedings / / edited by Giuliana Franceschinis, Karsten Wolf |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XII, 353 p.) |
| Disciplina | 004.0151 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Computer science—Mathematics Discrete mathematics Algorithms Software engineering Machine theory Theory of Computation Discrete Mathematics in Computer Science Software Engineering Formal Languages and Automata Theory Computer Science Logic and Foundations of Programming |
| ISBN | 3-642-02424-6 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Component-Based Construction of Heterogeneous Real-Time Systems in Bip -- Unifying Petri Net Semantics with Token Flows -- Reaction Systems: A Formal Framework for Processes -- Full Papers -- Simple Composition of Nets -- Towards a Standard for Modular Petri Nets: A Formalisation -- Decidability Results for Restricted Models of Petri Nets with Name Creation and Replication -- Pomset Languages of Finite Step Transition Systems -- Deficiency Zero Petri Nets and Product Form -- Bisimilarity Minimization in O(m logn) Time -- P-Semiflow Computation with Decision Diagrams -- Orthomodular Lattices in Occurrence Nets -- Hasse Diagram Generators and Petri Nets -- Modeling and Analysis of Transportation Networks Using Batches Petri Nets with Controllable Batch Speed -- Oclets – Scenario-Based Modeling with Petri Nets -- Hornets: Nets within Nets Combined with Net Algebra -- Monotonicity in Service Orchestrations -- Compositional Service Trees -- Tool Papers -- ASAP: An Extensible Platform for State Space Analysis -- The Access/CPN Framework: A Tool for Interacting with the CPN Tools Simulator -- DSSZ-MC – A Tool for Symbolic Analysis of Extended Petri Nets -- Workcraft – A Framework for Interpreted Graph Models -- PDETool: A Multi-formalism Modeling Tool for Discrete-Event Systems Based on SDES Description. |
| Record Nr. | UNISA-996465535703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Applications and Theory of Petri Nets [[electronic resource] ] : 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009, Proceedings / / edited by Giuliana Franceschinis, Karsten Wolf
| Applications and Theory of Petri Nets [[electronic resource] ] : 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009, Proceedings / / edited by Giuliana Franceschinis, Karsten Wolf |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XII, 353 p.) |
| Disciplina | 004.0151 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Computer science—Mathematics Discrete mathematics Algorithms Software engineering Machine theory Theory of Computation Discrete Mathematics in Computer Science Software Engineering Formal Languages and Automata Theory Computer Science Logic and Foundations of Programming |
| ISBN | 3-642-02424-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Component-Based Construction of Heterogeneous Real-Time Systems in Bip -- Unifying Petri Net Semantics with Token Flows -- Reaction Systems: A Formal Framework for Processes -- Full Papers -- Simple Composition of Nets -- Towards a Standard for Modular Petri Nets: A Formalisation -- Decidability Results for Restricted Models of Petri Nets with Name Creation and Replication -- Pomset Languages of Finite Step Transition Systems -- Deficiency Zero Petri Nets and Product Form -- Bisimilarity Minimization in O(m logn) Time -- P-Semiflow Computation with Decision Diagrams -- Orthomodular Lattices in Occurrence Nets -- Hasse Diagram Generators and Petri Nets -- Modeling and Analysis of Transportation Networks Using Batches Petri Nets with Controllable Batch Speed -- Oclets – Scenario-Based Modeling with Petri Nets -- Hornets: Nets within Nets Combined with Net Algebra -- Monotonicity in Service Orchestrations -- Compositional Service Trees -- Tool Papers -- ASAP: An Extensible Platform for State Space Analysis -- The Access/CPN Framework: A Tool for Interacting with the CPN Tools Simulator -- DSSZ-MC – A Tool for Symbolic Analysis of Extended Petri Nets -- Workcraft – A Framework for Interpreted Graph Models -- PDETool: A Multi-formalism Modeling Tool for Discrete-Event Systems Based on SDES Description. |
| Record Nr. | UNINA-9910484784803321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Business Process Management [[electronic resource] ] : 9th International Conference, BPM 2011, Clermont-Ferrand, France, August 30 - September 2, 2011, Proceedings / / edited by Stefanie Rinderle-Ma, Farouk Toumani, Karsten Wolf
| Business Process Management [[electronic resource] ] : 9th International Conference, BPM 2011, Clermont-Ferrand, France, August 30 - September 2, 2011, Proceedings / / edited by Stefanie Rinderle-Ma, Farouk Toumani, Karsten Wolf |
| Edizione | [1st ed. 2011.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
| Descrizione fisica | 1 online resource (420 p. 129 illus., 84 illus. in color.) |
| Disciplina | 005.7 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Application software
User interfaces (Computer systems) Software engineering Computer logic Information technology Business—Data processing Information Systems Applications (incl. Internet) User Interfaces and Human Computer Interaction Software Engineering Logics and Meanings of Programs Computer Appl. in Administrative Data Processing IT in Business |
| ISBN | 3-642-23059-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466010603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Transactions on Petri Nets and Other Models of Concurrency VII [[electronic resource] /] / edited by Kurt Jensen, Wil M. P. van der Aalst, Gianfranco Balbo, Maciej Koutny, Karsten Wolf
| Transactions on Petri Nets and Other Models of Concurrency VII [[electronic resource] /] / edited by Kurt Jensen, Wil M. P. van der Aalst, Gianfranco Balbo, Maciej Koutny, Karsten Wolf |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XVI, 423 p. 250 illus.) |
| Disciplina | 005.1 |
| Collana | Transactions on Petri Nets and Other Models of Concurrency |
| Soggetto topico |
Software engineering
Computers Computer logic Software Engineering Computation by Abstract Devices Logics and Meanings of Programs |
| ISBN | 3-642-38143-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | In Memoriam: Carl Adam Petri -- Strategies for Modeling Complex Processes Using Colored Petri Nets -- Applications of Coloured Petri Nets for Functional Validation of Protocol Designs -- Business Process Modeling Using Petri Nets -- Structure Theory of Petri Nets -- Causality in Extensions of Petri Nets -- External Behaviour of Systems of State Machines with Variables -- The Synthesis Problem -- Models from Scenarios -- Discovering Petri Nets from Event Logs. |
| Record Nr. | UNINA-9910483903403321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Transactions on Petri Nets and Other Models of Concurrency VII [[electronic resource] /] / edited by Kurt Jensen, Wil M. P. van der Aalst, Gianfranco Balbo, Maciej Koutny, Karsten Wolf
| Transactions on Petri Nets and Other Models of Concurrency VII [[electronic resource] /] / edited by Kurt Jensen, Wil M. P. van der Aalst, Gianfranco Balbo, Maciej Koutny, Karsten Wolf |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XVI, 423 p. 250 illus.) |
| Disciplina | 005.1 |
| Collana | Transactions on Petri Nets and Other Models of Concurrency |
| Soggetto topico |
Software engineering
Computers Computer logic Software Engineering Computation by Abstract Devices Logics and Meanings of Programs |
| ISBN | 3-642-38143-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | In Memoriam: Carl Adam Petri -- Strategies for Modeling Complex Processes Using Colored Petri Nets -- Applications of Coloured Petri Nets for Functional Validation of Protocol Designs -- Business Process Modeling Using Petri Nets -- Structure Theory of Petri Nets -- Causality in Extensions of Petri Nets -- External Behaviour of Systems of State Machines with Variables -- The Synthesis Problem -- Models from Scenarios -- Discovering Petri Nets from Event Logs. |
| Record Nr. | UNISA-996466174003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Web Services and Formal Methods [[electronic resource] ] : 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings / / edited by Roberto Bruni, Karsten Wolf
| Web Services and Formal Methods [[electronic resource] ] : 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings / / edited by Roberto Bruni, Karsten Wolf |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (X, 241 p.) |
| Disciplina | 621.39 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer engineering
Computer communication systems Computers Application software Software engineering Computer logic Computer Engineering Computer Communication Networks Theory of Computation Information Systems Applications (incl. Internet) Software Engineering Logics and Meanings of Programs |
| ISBN | 3-642-01364-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | On the Expressive Power of Process Interruption and Compensation -- Modelling and Analysis of Time-Constrained Flexible Workflows with Time Recursive ECATNets -- Contract Compliance and Choreography Conformance in the Presence of Message Queues -- Verification of Choreographies During Execution Using the Reactive Event Calculus -- RESTful Petri Net Execution -- Validation and Discovery of Non-deterministic Semantic e-Services -- Fault, Compensation and Termination in WS-BPEL 2.0 — A Comparative Analysis -- Refactoring Long Running Transactions -- On-The-Fly Model-Based Testing of Web Services with Jambition -- Towards a Formal Framework for Workflow Interoperability -- Security Types for Sessions and Pipelines -- Why Does My Service Have No Partners? -- Proof Techniques for Adapter Generation -- Efficient Controllability Analysis of Open Nets. |
| Record Nr. | UNISA-996465986103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Web Services and Formal Methods [[electronic resource] ] : 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings / / edited by Roberto Bruni, Karsten Wolf
| Web Services and Formal Methods [[electronic resource] ] : 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings / / edited by Roberto Bruni, Karsten Wolf |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (X, 241 p.) |
| Disciplina | 621.39 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer engineering
Computer communication systems Computers Application software Software engineering Computer logic Computer Engineering Computer Communication Networks Theory of Computation Information Systems Applications (incl. Internet) Software Engineering Logics and Meanings of Programs |
| ISBN | 3-642-01364-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | On the Expressive Power of Process Interruption and Compensation -- Modelling and Analysis of Time-Constrained Flexible Workflows with Time Recursive ECATNets -- Contract Compliance and Choreography Conformance in the Presence of Message Queues -- Verification of Choreographies During Execution Using the Reactive Event Calculus -- RESTful Petri Net Execution -- Validation and Discovery of Non-deterministic Semantic e-Services -- Fault, Compensation and Termination in WS-BPEL 2.0 — A Comparative Analysis -- Refactoring Long Running Transactions -- On-The-Fly Model-Based Testing of Web Services with Jambition -- Towards a Formal Framework for Workflow Interoperability -- Security Types for Sessions and Pipelines -- Why Does My Service Have No Partners? -- Proof Techniques for Adapter Generation -- Efficient Controllability Analysis of Open Nets. |
| Record Nr. | UNINA-9910483813903321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||