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 |
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 | ||
|
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 |
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 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 |
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 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 | ||
|
Petri Nets and Performance Models |
Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society Press, 1995 |
Descrizione fisica | 1 online resource (288 pages) |
Disciplina | 004.24015115 |
Soggetto topico |
Machine theory
Petri nets |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996210428603316 |
[Place of publication not identified], : IEEE Computer Society Press, 1995 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Petri Nets and Performance Models |
Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society Press, 1995 |
Descrizione fisica | 1 online resource (288 pages) |
Disciplina | 004.24015115 |
Soggetto topico |
Machine theory
Petri nets |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910872448303321 |
[Place of publication not identified], : IEEE Computer Society Press, 1995 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|