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 2001 [[electronic resource] ] : 22nd International Conference, ICATPN 2001 Newcastle upon Tyne, UK, June 25-29, 2001 Proceedings / / edited by Jose-Manuel Colom, Maciej Koutny
| Applications and Theory of Petri Nets 2001 [[electronic resource] ] : 22nd International Conference, ICATPN 2001 Newcastle upon Tyne, UK, June 25-29, 2001 Proceedings / / edited by Jose-Manuel Colom, Maciej Koutny |
| Edizione | [1st ed. 2001.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
| Descrizione fisica | 1 online resource (XII, 408 p.) |
| Disciplina | 004.24015115 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Mathematical logic
Software engineering Computer communication systems Computer science—Mathematics Information technology Business—Data processing Mathematical Logic and Foundations Software Engineering Mathematical Logic and Formal Languages Computer Communication Networks Discrete Mathematics in Computer Science IT in Business |
| ISBN | 3-540-45740-2 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Kronecker Algebra and (Stochastic) Petri Nets: Is It Worth the Effort? -- The Flux of Interaction -- Towards a Notion of Distributed Time for Petri Nets -- Full Papers -- Identifying Commonalities and Differences in Object Life Cycles Using Behavioral Inheritance -- Timed Petri Nets and BQOs -- CPN/Tools: A Post-WIMP Interface for Editing and Simulating Coloured Petri Nets -- Petri Net Based Design and Implementation Methodology for Discrete Event Control Systems -- Condensed State Spaces for Timed Petri Nets -- Unfolding of Products of Symmetrical Petri Nets -- partial Order Verification of Programmable Logic Controllers -- Structural Characterization and Qualitative Properties of Product Form Stochastic Petri Nets -- Generalized Conditions for Liveness Enforcement and Deadlock Prevention in Petri Nets -- A Concurrent Semantics of Static Exceptions in a Parallel Programming Language -- A Concurrent Semantics of Static Exceptions in a Parallel Programming Language -- Modelling the Structure and Behaviour of Petri Net Agents -- Modelling the Structure and Behaviour of Petri Net Agents -- Model Checking LTL Properties of High-Level Petri Nets with Fairness Constraints -- Model Checking LTL Properties of High-Level Petri Nets with Fairness Constraints -- Incremental State Space Construction for Coloured Petri Nets -- Incremental State Space Construction for Coloured Petri Nets -- Optimising Enabling Tests and Unfoldings of Algebraic System Nets -- Optimising Enabling Tests and Unfoldings of Algebraic System Nets -- Extending the Petri Box Calculus with Time -- Extending the Petri Box Calculus with Time -- Abstractions and Partial Order Reductions for Checking Branching Properties of Time Petri Nets -- Abstractions and Partial Order Reductions for Checking Branching Properties of Time Petri Nets -- Pr/T-Net Based Seamless Design of Embedded Real-Time Systems -- Pr/T-Net Based Seamless Design of Embedded Real-Time Systems -- Rewriting Logic and Elan: Prototyping Tools for Petri Nets with Time -- Rewriting Logic and Elan: Prototyping Tools for Petri Nets with Time -- Partial S-Invariants for the Verification of Infinite Systems Families -- Partial S-Invariants for the Verification of Infinite Systems Families. |
| Record Nr. | UNISA-996465889703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Applications and Theory of Petri Nets 2001 : 22nd International Conference, ICATPN 2001 Newcastle upon Tyne, UK, June 25-29, 2001 Proceedings / / edited by Jose-Manuel Colom, Maciej Koutny
| Applications and Theory of Petri Nets 2001 : 22nd International Conference, ICATPN 2001 Newcastle upon Tyne, UK, June 25-29, 2001 Proceedings / / edited by Jose-Manuel Colom, Maciej Koutny |
| Edizione | [1st ed. 2001.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
| Descrizione fisica | 1 online resource (XII, 408 p.) |
| Disciplina | 004.24015115 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Logic, Symbolic and mathematical
Software engineering Machine theory Computer networks Computer science - Mathematics Discrete mathematics Business information services Mathematical Logic and Foundations Software Engineering Formal Languages and Automata Theory Computer Communication Networks Discrete Mathematics in Computer Science IT in Business |
| ISBN | 3-540-45740-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Kronecker Algebra and (Stochastic) Petri Nets: Is It Worth the Effort? -- The Flux of Interaction -- Towards a Notion of Distributed Time for Petri Nets -- Full Papers -- Identifying Commonalities and Differences in Object Life Cycles Using Behavioral Inheritance -- Timed Petri Nets and BQOs -- CPN/Tools: A Post-WIMP Interface for Editing and Simulating Coloured Petri Nets -- Petri Net Based Design and Implementation Methodology for Discrete Event Control Systems -- Condensed State Spaces for Timed Petri Nets -- Unfolding of Products of Symmetrical Petri Nets -- partial Order Verification of Programmable Logic Controllers -- Structural Characterization and Qualitative Properties of Product Form Stochastic Petri Nets -- Generalized Conditions for Liveness Enforcement and Deadlock Prevention in Petri Nets -- A Concurrent Semantics of Static Exceptions in a Parallel Programming Language -- A Concurrent Semantics of Static Exceptions in a Parallel Programming Language -- Modelling the Structure and Behaviour of Petri Net Agents -- Modelling the Structure and Behaviour of Petri Net Agents -- Model Checking LTL Properties of High-Level Petri Nets with Fairness Constraints -- Model Checking LTL Properties of High-Level Petri Nets with Fairness Constraints -- Incremental State Space Construction for Coloured Petri Nets -- Incremental State Space Construction for Coloured Petri Nets -- Optimising Enabling Tests and Unfoldings of Algebraic System Nets -- Optimising Enabling Tests and Unfoldings of Algebraic System Nets -- Extending the Petri Box Calculus with Time -- Extending the Petri Box Calculus with Time -- Abstractions and Partial Order Reductions for Checking Branching Properties of Time Petri Nets -- Abstractions and Partial Order Reductions for Checking Branching Properties of Time Petri Nets -- Pr/T-Net Based Seamless Design of Embedded Real-Time Systems -- Pr/T-Net Based Seamless Design of Embedded Real-Time Systems -- Rewriting Logic and Elan: Prototyping Tools for Petri Nets with Time -- Rewriting Logic and Elan: Prototyping Tools for Petri Nets with Time -- Partial S-Invariants for the Verification of Infinite Systems Families -- Partial S-Invariants for the Verification of Infinite Systems Families. |
| Record Nr. | UNINA-9910143600303321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
CONCUR 2012- Concurrency Theory [[electronic resource] ] : 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, September 4-7, 2012. Proceedings / / edited by Maciej Koutny, Irek Ulidowski
| CONCUR 2012- Concurrency Theory [[electronic resource] ] : 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, September 4-7, 2012. Proceedings / / edited by Maciej Koutny, Irek Ulidowski |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (XIV, 582 p. 84 illus.) |
| Disciplina | 005.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Computer science Computer networks Compilers (Computer programs) Application software Machine theory Software Engineering Computer Science Logic and Foundations of Programming Computer Communication Networks Compilers and Interpreters Computer and Information Systems Applications Formal Languages and Automata Theory |
| ISBN | 3-642-32940-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Reachability analysis.-qualitative and timed systems.-behavioural equivalences.-temporal logics.-session types -- abstraction -- mobility and space in process algebra.-stochastic systems.-probabilistic systems -- Petri nets and non-sequential semantics.-verification; decidability. |
| Record Nr. | UNISA-996465477903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Transactions on Petri Nets and Other Models of Concurrency IX [[electronic resource] /] / edited by Maciej Koutny, Serge Haddad, Alex Yakovlev
| Transactions on Petri Nets and Other Models of Concurrency IX [[electronic resource] /] / edited by Maciej Koutny, Serge Haddad, Alex Yakovlev |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XIII, 179 p. 84 illus.) |
| Disciplina | 511.3 |
| Collana | Transactions on Petri Nets and Other Models of Concurrency |
| Soggetto topico |
Software engineering
Computer logic Software Engineering Logics and Meanings of Programs |
| ISBN | 3-662-45730-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Decidability of k-Soundness for Workflow Nets with an Unbounded Resource -- Modeling Distributed Private Key Generation by Composing Petri Nets -- Software Engineering with Petri Nets: A Web Service and Agent Perspective -- Modeling Organizational Structures and Agent Knowledge for Mulan Applications -- A Canonical Contraction for Safe Petri Nets -- Symbolic Termination and Confluence Checking for ECA Rules -- Tissue Systems and Petri Net Synthesis -- A Coloured Petri Net Approach to the Functional and Performance Analysis of SIP Non-INVITE Transaction. |
| Record Nr. | UNISA-996211261603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Transactions on Petri Nets and Other Models of Concurrency IX / / edited by Maciej Koutny, Serge Haddad, Alex Yakovlev
| Transactions on Petri Nets and Other Models of Concurrency IX / / edited by Maciej Koutny, Serge Haddad, Alex Yakovlev |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XIII, 179 p. 84 illus.) |
| Disciplina | 511.3 |
| Collana | Transactions on Petri Nets and Other Models of Concurrency |
| Soggetto topico |
Software engineering
Computer logic Software Engineering Logics and Meanings of Programs |
| ISBN | 3-662-45730-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Decidability of k-Soundness for Workflow Nets with an Unbounded Resource -- Modeling Distributed Private Key Generation by Composing Petri Nets -- Software Engineering with Petri Nets: A Web Service and Agent Perspective -- Modeling Organizational Structures and Agent Knowledge for Mulan Applications -- A Canonical Contraction for Safe Petri Nets -- Symbolic Termination and Confluence Checking for ECA Rules -- Tissue Systems and Petri Net Synthesis -- A Coloured Petri Net Approach to the Functional and Performance Analysis of SIP Non-INVITE Transaction. |
| Record Nr. | UNINA-9910484597703321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
| 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 | ||
| ||
Transactions on Petri Nets and Other Models of Concurrency VII / / 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 / / 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 VIII [[electronic resource] /] / edited by Maciej Koutny, Wil M. P. van der Aalst, Alex Yakovlev
| Transactions on Petri Nets and Other Models of Concurrency VIII [[electronic resource] /] / edited by Maciej Koutny, Wil M. P. van der Aalst, Alex Yakovlev |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XVIII, 203 p. 85 illus.) |
| Disciplina | 005.1 |
| Collana | Transactions on Petri Nets and Other Models of Concurrency |
| Soggetto topico |
Software engineering
Computer logic Software Engineering Logics and Meanings of Programs |
| ISBN | 3-642-40465-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Comparing Metabolic Pathways through Reactions and Potential Fluxes -- Modeling and Analyzing Wireless Sensor Networks with VeriSensor: An Integrated Workflow -- Local State Refinement and Composition of Elementary Net Systems: An Approach Based on Morphisms -- From Code to Coloured Petri Nets: Modelling Guidelines -- Using Integer Time Steps for Checking Branching Time Properties of Time Petri Nets -- When Can We Trust a Third Party?: A Soundness Perspective -- Hybrid Petri Nets for Modelling the Eukaryotic Cell Cycle -- Simulative Model Checking of Steady State and Time-Unbounded Temporal Operators -- Model-Driven Middleware Support for Team-Oriented Process Management -- Grade/CPN: A Tool and Temporal Logic for Testing Colored Petri Net Models in Teaching. |
| Record Nr. | UNISA-996465945303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Transactions on Petri Nets and Other Models of Concurrency VIII / / edited by Maciej Koutny, Wil M. P. van der Aalst, Alex Yakovlev
| Transactions on Petri Nets and Other Models of Concurrency VIII / / edited by Maciej Koutny, Wil M. P. van der Aalst, Alex Yakovlev |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XVIII, 203 p. 85 illus.) |
| Disciplina | 005.1 |
| Collana | Transactions on Petri Nets and Other Models of Concurrency |
| Soggetto topico |
Software engineering
Computer logic Software Engineering Logics and Meanings of Programs |
| ISBN | 3-642-40465-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Comparing Metabolic Pathways through Reactions and Potential Fluxes -- Modeling and Analyzing Wireless Sensor Networks with VeriSensor: An Integrated Workflow -- Local State Refinement and Composition of Elementary Net Systems: An Approach Based on Morphisms -- From Code to Coloured Petri Nets: Modelling Guidelines -- Using Integer Time Steps for Checking Branching Time Properties of Time Petri Nets -- When Can We Trust a Third Party?: A Soundness Perspective -- Hybrid Petri Nets for Modelling the Eukaryotic Cell Cycle -- Simulative Model Checking of Steady State and Time-Unbounded Temporal Operators -- Model-Driven Middleware Support for Team-Oriented Process Management -- Grade/CPN: A Tool and Temporal Logic for Testing Colored Petri Net Models in Teaching. |
| Record Nr. | UNINA-9910483121703321 |
| 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 X [[electronic resource] /] / edited by Maciej Koutny, Jörg Desel, Serge Haddad
| Transactions on Petri Nets and Other Models of Concurrency X [[electronic resource] /] / edited by Maciej Koutny, Jörg Desel, Serge Haddad |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XV, 177 p. 41 illus. in color.) |
| Disciplina | 511.3 |
| Collana | Transactions on Petri Nets and Other Models of Concurrency |
| Soggetto topico |
Software engineering
Computer logic Software Engineering Logics and Meanings of Programs |
| ISBN | 3-662-48650-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Verification of Logs - Revealing Faulty Processes of a Medical Laboratory -- An Everlasting Secure Non-interactive Timestamping Scheme in the Bounded Storage Model -- Timed Aggregate Graph: Finite Graph Preserving Event- and State-Based Quantitative Properties of Time Petri Nets -- SMT-based Abstract Parametric Temporal Planning -- Kleene Theorems for Synchronous Products with Matching -- Symbolic Model Checking of Security Protocols for Ad Hoc Networks on Any Topologies -- Symbolic Search of Insider Attack Scenarios from a Formal Information System Modeling -- Modelling and Analysis Mobile Systems Using π-Calculus (EFCP). |
| Record Nr. | UNISA-996466194003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
