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 1999 : 20th International Conference, ICATPN'99 Williamsburg, Virginia, USA, June 21-25, 1999 : proceedings / / Susanna Donatelli, Jetty Kleijn, editors
| Application and theory of petri nets 1999 : 20th International Conference, ICATPN'99 Williamsburg, Virginia, USA, June 21-25, 1999 : proceedings / / Susanna Donatelli, Jetty Kleijn, editors |
| Edizione | [1st ed. 1999.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer Verlag, , [1999] |
| Descrizione fisica | 1 online resource (CDXL, 432 p.) |
| Disciplina | 511.3 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico | Petri nets |
| ISBN | 3-540-48745-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Design, Simulation, and Implementation of Hybrid Systems -- Efficient Reachability Set Generation and Storage Using Decision Diagrams -- Structural Methods to Improve the Symbolic Analysis of Petri Nets -- Stubborn Sets for Standard Properties -- Petri Net Based Behavioural Specification of CORBA Systems -- Symmetric Communication between Coloured Petri Net Simulations and Java-Processes -- Recent Developments in Modeling and Analysis of Hybrid Dynamic Systems -- Autonomous Continuous P/T Systems -- An Approach to the Analysis of Interworking Traders -- Parallel Approaches to the Numerical Transient Analysis of Stochastic Reward Nets -- SWN Nets as a Framework for the Specification and the Analysis of FT Techniques Adopted in Electric Plant Automation -- Monitoring Discrete Event Systems Using Petri Net Embeddings -- Quasi-Static Scheduling of Embedded Software Using Equal Conflict Nets -- Theoretical Aspects of Recursive Petri Nets -- Petri Net Theory — Problems Solved by Commutative Algebra -- Testing Undecidability of the Reachability in Petri Nets with the Help of 10th Hilbert Problem -- Net Theory and Workflow Models -- Concurrent Implementation of Asynchronous Transition Systems -- Trace Channel Nets -- Reasoning about Algebraic Generalisation of Petri Nets -- The Box Algebra —; A Model of Nets and Process Expressions -- Detection of Illegal Behaviours Based on Unfoldings -- Five Classes of Invariant-Preserving Transformations on Colored Petri Nets -- Verifying Intuition — ILF Checks DAWN Proofs. |
| Record Nr. | UNINA-9910143456903321 |
| Berlin ; ; Heidelberg : , : Springer Verlag, , [1999] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Application and theory of petri nets 1999 : 20th International Conference, ICATPN'99 Williamsburg, Virginia, USA, June 21-25, 1999 : proceedings / / Susanna Donatelli, Jetty Kleijn, editors
| Application and theory of petri nets 1999 : 20th International Conference, ICATPN'99 Williamsburg, Virginia, USA, June 21-25, 1999 : proceedings / / Susanna Donatelli, Jetty Kleijn, editors |
| Edizione | [1st ed. 1999.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer Verlag, , [1999] |
| Descrizione fisica | 1 online resource (CDXL, 432 p.) |
| Disciplina | 511.3 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico | Petri nets |
| ISBN | 3-540-48745-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Design, Simulation, and Implementation of Hybrid Systems -- Efficient Reachability Set Generation and Storage Using Decision Diagrams -- Structural Methods to Improve the Symbolic Analysis of Petri Nets -- Stubborn Sets for Standard Properties -- Petri Net Based Behavioural Specification of CORBA Systems -- Symmetric Communication between Coloured Petri Net Simulations and Java-Processes -- Recent Developments in Modeling and Analysis of Hybrid Dynamic Systems -- Autonomous Continuous P/T Systems -- An Approach to the Analysis of Interworking Traders -- Parallel Approaches to the Numerical Transient Analysis of Stochastic Reward Nets -- SWN Nets as a Framework for the Specification and the Analysis of FT Techniques Adopted in Electric Plant Automation -- Monitoring Discrete Event Systems Using Petri Net Embeddings -- Quasi-Static Scheduling of Embedded Software Using Equal Conflict Nets -- Theoretical Aspects of Recursive Petri Nets -- Petri Net Theory — Problems Solved by Commutative Algebra -- Testing Undecidability of the Reachability in Petri Nets with the Help of 10th Hilbert Problem -- Net Theory and Workflow Models -- Concurrent Implementation of Asynchronous Transition Systems -- Trace Channel Nets -- Reasoning about Algebraic Generalisation of Petri Nets -- The Box Algebra —; A Model of Nets and Process Expressions -- Detection of Illegal Behaviours Based on Unfoldings -- Five Classes of Invariant-Preserving Transformations on Colored Petri Nets -- Verifying Intuition — ILF Checks DAWN Proofs. |
| Record Nr. | UNISA-996465734503316 |
| Berlin ; ; Heidelberg : , : Springer Verlag, , [1999] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Application and Theory of Petri Nets and Concurrency [[electronic resource] ] : 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings / / edited by Susanna Donatelli, Stefan Haar
| Application and Theory of Petri Nets and Concurrency [[electronic resource] ] : 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings / / edited by Susanna Donatelli, Stefan Haar |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XV, 471 p. 995 illus., 73 illus. in color.) |
| Disciplina | 004.24015115 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Algorithms Computer science—Mathematics Discrete mathematics Artificial intelligence—Data processing Software engineering Artificial intelligence Computer Science Logic and Foundations of Programming Discrete Mathematics in Computer Science Data Science Software Engineering Artificial Intelligence |
| ISBN | 3-030-21571-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Models -- Tools -- Synthesis -- Semantics -- Concurrent Processes -- Algorithmic Aspects -- Parametrics and Combinatorics -- Models with Extensions. |
| Record Nr. | UNISA-996466330303316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Application and Theory of Petri Nets and Concurrency : 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings / / edited by Susanna Donatelli, Stefan Haar
| Application and Theory of Petri Nets and Concurrency : 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings / / edited by Susanna Donatelli, Stefan Haar |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XV, 471 p. 995 illus., 73 illus. in color.) |
| Disciplina |
004.24015115
511.35 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Algorithms Computer science—Mathematics Discrete mathematics Artificial intelligence—Data processing Software engineering Artificial intelligence Computer Science Logic and Foundations of Programming Discrete Mathematics in Computer Science Data Science Software Engineering Artificial Intelligence |
| ISBN | 3-030-21571-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Models -- Tools -- Synthesis -- Semantics -- Concurrent Processes -- Algorithmic Aspects -- Parametrics and Combinatorics -- Models with Extensions. |
| Record Nr. | UNINA-9910337846703321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Petri nets and other models of concurrency : ICATPN 2006 : 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006 : proceedings / / Susanna Donatelli, P.S. Thiagarajan (eds.)
| Petri nets and other models of concurrency : ICATPN 2006 : 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006 : proceedings / / Susanna Donatelli, P.S. Thiagarajan (eds.) |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, : Springer, 2006 |
| Descrizione fisica | 1 online resource (XI, 441 p.) |
| Disciplina | 511.35 |
| Altri autori (Persone) |
DonatelliSusanna
ThiagarajanP. S |
| Collana |
Lecture notes in computer science
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
| Soggetto topico |
Petri nets
Computer multitasking Parallel processing (Electronic computers) |
| ISBN | 3-540-34700-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Invariant Based Programming -- On the Integration of UML and Petri Nets in Software Development -- Component Tools: Integrating Petri Nets with Other Formal Methods -- Using Colored Petri Nets and Tools to Support Mobile Terminal and Network Software Development -- Full Papers -- Compensation in Workflow Nets -- The Synthesis Problem of Netcharts -- Non-sequential Behaviour of Dynamic Nets -- Complete Finite Prefixes of Symbolic Unfoldings of Safe Time Petri Nets -- On the Computation of Stubborn Sets of Colored Petri Nets -- On the Construction of Pullbacks for Safe Petri Nets -- From Petri Nets to Differential Equations – An Integrative Approach for Biochemical Network Analysis -- How Expressive Are Petri Net Schemata? -- A New Approach to the Evaluation of Non Markovian Stochastic Petri Nets -- Nested Nets for Adaptive Systems -- Analyzing Software Performance and Energy Consumption of Embedded Systems by Probabilistic Modeling: An Approach Based on Coloured Petri Nets -- Infinite Process Semantics of Inhibitor Nets -- Towards Synthesis of Petri Nets from Scenarios -- Designing Reversibility-Enforcing Supervisors of Polynomial Complexity for Bounded Petri Nets Through the Theory of Regions -- On the Step Explosion Problem -- Prospective Analysis of Cooperative Provision of Industrial Services Using Coloured Petri Nets -- Tool Papers -- Can I Execute My Scenario in Your Net? VipTool Tells You! -- Exhost-PIPE: PIPE Extended for Two Classes of Monitoring Petri Nets -- ArgoSPE: Model-Based Software Performance Engineering -- Petriweb: A Repository for Petri Nets -- Geist3D, a Simulation Tool for Geometry-Driven Petri Nets -- The BRITNeY Suite Animation Tool. |
| Altri titoli varianti |
27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency
Twenty-seventh International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency ICATPN 2006 |
| Record Nr. | UNINA-9910483546303321 |
| Berlin, : Springer, 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Petri Nets and Other Models of Concurrency - ICATPN 2006 [[electronic resource] ] : 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006, Proceedings / / edited by Susanna Donatelli, P.S. Thiagarajan
| Petri Nets and Other Models of Concurrency - ICATPN 2006 [[electronic resource] ] : 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006, Proceedings / / edited by Susanna Donatelli, P.S. Thiagarajan |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (XI, 441 p.) |
| Disciplina | 511.35 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Software engineering Computer science—Mathematics Discrete mathematics Computer networks Microprocessors Computer architecture Operating systems (Computers) Theory of Computation Software Engineering Discrete Mathematics in Computer Science Computer Communication Networks Processor Architectures Operating Systems |
| ISBN | 3-540-34700-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Invariant Based Programming -- On the Integration of UML and Petri Nets in Software Development -- Component Tools: Integrating Petri Nets with Other Formal Methods -- Using Colored Petri Nets and Tools to Support Mobile Terminal and Network Software Development -- Full Papers -- Compensation in Workflow Nets -- The Synthesis Problem of Netcharts -- Non-sequential Behaviour of Dynamic Nets -- Complete Finite Prefixes of Symbolic Unfoldings of Safe Time Petri Nets -- On the Computation of Stubborn Sets of Colored Petri Nets -- On the Construction of Pullbacks for Safe Petri Nets -- From Petri Nets to Differential Equations – An Integrative Approach for Biochemical Network Analysis -- How Expressive Are Petri Net Schemata? -- A New Approach to the Evaluation of Non Markovian Stochastic Petri Nets -- Nested Nets for Adaptive Systems -- Analyzing Software Performance and Energy Consumption of Embedded Systems by Probabilistic Modeling: An Approach Based on Coloured Petri Nets -- Infinite Process Semantics of Inhibitor Nets -- Towards Synthesis of Petri Nets from Scenarios -- Designing Reversibility-Enforcing Supervisors of Polynomial Complexity for Bounded Petri Nets Through the Theory of Regions -- On the Step Explosion Problem -- Prospective Analysis of Cooperative Provision of Industrial Services Using Coloured Petri Nets -- Tool Papers -- Can I Execute My Scenario in Your Net? VipTool Tells You! -- Exhost-PIPE: PIPE Extended for Two Classes of Monitoring Petri Nets -- ArgoSPE: Model-Based Software Performance Engineering -- Petriweb: A Repository for Petri Nets -- Geist3D, a Simulation Tool for Geometry-Driven Petri Nets -- The BRITNeY Suite Animation Tool. |
| Record Nr. | UNISA-996465519103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Transactions on petri nets and other models of concurrency IV / / Kurt Jensen, Susanna Donatelli, Maciej Koutny (eds.)
| Transactions on petri nets and other models of concurrency IV / / Kurt Jensen, Susanna Donatelli, Maciej Koutny (eds.) |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, 2010 |
| Descrizione fisica | 1 online resource (XVIII, 225 p. 84 illus., 40 illus. in color.) |
| Disciplina | 005.743 |
| Altri autori (Persone) |
JensenK <1950-> (Kurt)
DonatelliSusanna KoutnyMaciej <1958-> |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Computer multitasking
Parallel processing (Electronic computers) Petri nets |
| ISBN |
1-283-47755-6
9786613477552 3-642-18222-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | -Vicinity Respecting Homomorphisms for Abstracting System Requirements -- Search-Order Independent State Caching -- Bounded Parametric Model Checking for Elementary Net Systems -- SAT-Based (Parametric) Reachability for a Class of Distributed Time Petri Nets -- Parametric Model Checking with VerICS -- Schedule-Aware Workflow Management Systems -- On-the-Fly Auditing of Business Processes -- Modeling Organizational Units as Modular Components of Systems of Systems -- A Multi-Agent Organizational Framework for Coevolutionary Optimization. |
| Altri titoli varianti |
Transactions on petri nets and other models of concurrency 4
Transactions on petri nets and other models of concurrency four Petri nets and other models of concurrency 4 Petri nets and other models of concurrency four Petri nets and other models of concurrency IV |
| Record Nr. | UNINA-9910483394903321 |
| Berlin ; ; New York, : Springer, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||