top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
Application and Theory of Petri Nets and Concurrency [[electronic resource] ] : 41st International Conference, PETRI NETS 2020, Paris, France, June 24–25, 2020, Proceedings / / edited by Ryszard Janicki, Natalia Sidorova, Thomas Chatain
Application and Theory of Petri Nets and Concurrency [[electronic resource] ] : 41st International Conference, PETRI NETS 2020, Paris, France, June 24–25, 2020, Proceedings / / edited by Ryszard Janicki, Natalia Sidorova, Thomas Chatain
Edizione [1st ed. 2020.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020
Descrizione fisica 1 online resource (xi, 435 pages) : illustrations
Disciplina 511.3
Collana Theoretical Computer Science and General Issues
Soggetto topico Computer science
Algorithms
Computer science—Mathematics
Discrete mathematics
Data structures (Computer science)
Information theory
Database management
Computer Science Logic and Foundations of Programming
Design and Analysis of Algorithms
Discrete Mathematics in Computer Science
Data Structures and Information Theory
Database Management System
ISBN 3-030-51831-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Application of Concurrency to System Design -- Languages and Synthesis -- Semantics -- Process Mining and Applications -- Extensions and Model Checking -- Tools.
Record Nr. UNINA-9910409661903321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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. UNINA-9910337846703321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Application and Theory of Petri Nets and Concurrency [[electronic resource] ] : 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings / / edited by Victor Khomenko, Olivier H. Roux
Application and Theory of Petri Nets and Concurrency [[electronic resource] ] : 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings / / edited by Victor Khomenko, Olivier H. Roux
Edizione [1st ed. 2018.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Descrizione fisica 1 online resource (XI, 427 p. 124 illus.)
Disciplina 005.1015113
Collana Theoretical Computer Science and General Issues
Soggetto topico Computer science
Software engineering
Artificial intelligence—Data processing
Algorithms
Computer science—Mathematics
Discrete mathematics
Computer Science Logic and Foundations of Programming
Software Engineering
Data Science
Discrete Mathematics in Computer Science
ISBN 3-319-91268-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Petri Nets Synthesis -- Analysis and Model Checking -- Languages -- Semantics and Expressiveness -- Tools.
Record Nr. UNISA-996465825003316
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Application and Theory of Petri Nets and Concurrency [[electronic resource] ] : 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings / / edited by Victor Khomenko, Olivier H. Roux
Application and Theory of Petri Nets and Concurrency [[electronic resource] ] : 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings / / edited by Victor Khomenko, Olivier H. Roux
Edizione [1st ed. 2018.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Descrizione fisica 1 online resource (XI, 427 p. 124 illus.)
Disciplina 005.1015113
Collana Theoretical Computer Science and General Issues
Soggetto topico Computer science
Software engineering
Artificial intelligence—Data processing
Algorithms
Computer science—Mathematics
Discrete mathematics
Computer Science Logic and Foundations of Programming
Software Engineering
Data Science
Discrete Mathematics in Computer Science
ISBN 3-319-91268-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Petri Nets Synthesis -- Analysis and Model Checking -- Languages -- Semantics and Expressiveness -- Tools.
Record Nr. UNINA-9910349429703321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
Applications and Theory of Petri Nets [[electronic resource] ] : 29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008, Proceedings / / edited by Kees van Hee, Rüdiger Valk
Applications and Theory of Petri Nets [[electronic resource] ] : 29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008, Proceedings / / edited by Kees van Hee, Rüdiger Valk
Edizione [1st ed. 2008.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008
Descrizione fisica 1 online resource (XIII, 429 p.)
Disciplina 511.3/5
Collana Theoretical Computer Science and General Issues
Soggetto topico Computer systems
Computer science
Software engineering
Computer science—Mathematics
Discrete mathematics
Computer networks
Microprocessors
Computer architecture
Computer System Implementation
Theory of Computation
Software Engineering
Discrete Mathematics in Computer Science
Computer Communication Networks
Processor Architectures
ISBN 3-540-68746-7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Papers -- Challenges and Opportunities for Formal Specifications in Service Oriented Architectures -- Modeling Interactions between Biochemical Reactions -- Transaction Calculus -- Stratifying Winning Positions in Parity Games -- On the Physical Basics of Information Flow -- Regular Papers -- Faster Unfolding of General Petri Nets Based on Token Flows -- Decomposition Theorems for Bounded Persistent Petri Nets -- Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study -- Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets -- A Symbolic Algorithm for the Synthesis of Bounded Petri Nets -- Synthesis of Nets with Step Firing Policies -- Modelling and Analysis of the INVITE Transaction of the Session Initiation Protocol Using Coloured Petri Nets -- Modelling and Initial Validation of the DYMO Routing Protocol for Mobile Ad-Hoc Networks -- Formal Specification and Validation of Secure Connection Establishment in a Generic Access Network Scenario -- Parametric Language Analysis of the Class of Stop-and-Wait Protocols -- Hierarchical Set Decision Diagrams and Automatic Saturation -- Performance Evaluation of Workflows Using Continuous Petri Nets with Interval Firing Speeds -- Modelling Concurrency with Quotient Monoids -- Labeled Step Sequences in Petri Nets -- MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs -- Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper) -- A Practical Approach to Verification of Mobile Systems Using Net Unfoldings -- Cooperative Arrival Management in Air Traffic Control - A Coloured Petri Net Model of Sequence Planning -- Process Discovery Using Integer Linear Programming -- Tool Papers -- Synthesis of Petri Nets from Scenarios with VipTool -- A Monitoring Toolset for Paose -- Animated Graphical User Interface Generator Framework for Input-Output Place-Transition Petri Net Models -- HYPENS: A Matlab Tool for Timed Discrete, Continuous and Hybrid Petri Nets.
Record Nr. UNISA-996465284203316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Applications and Theory of Petri Nets [[electronic resource] ] : 29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008, Proceedings / / edited by Kees van Hee, Rüdiger Valk
Applications and Theory of Petri Nets [[electronic resource] ] : 29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008, Proceedings / / edited by Kees van Hee, Rüdiger Valk
Edizione [1st ed. 2008.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008
Descrizione fisica 1 online resource (XIII, 429 p.)
Disciplina 511.3/5
Collana Theoretical Computer Science and General Issues
Soggetto topico Computer systems
Computer science
Software engineering
Computer science—Mathematics
Discrete mathematics
Computer networks
Microprocessors
Computer architecture
Computer System Implementation
Theory of Computation
Software Engineering
Discrete Mathematics in Computer Science
Computer Communication Networks
Processor Architectures
ISBN 3-540-68746-7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Papers -- Challenges and Opportunities for Formal Specifications in Service Oriented Architectures -- Modeling Interactions between Biochemical Reactions -- Transaction Calculus -- Stratifying Winning Positions in Parity Games -- On the Physical Basics of Information Flow -- Regular Papers -- Faster Unfolding of General Petri Nets Based on Token Flows -- Decomposition Theorems for Bounded Persistent Petri Nets -- Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study -- Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets -- A Symbolic Algorithm for the Synthesis of Bounded Petri Nets -- Synthesis of Nets with Step Firing Policies -- Modelling and Analysis of the INVITE Transaction of the Session Initiation Protocol Using Coloured Petri Nets -- Modelling and Initial Validation of the DYMO Routing Protocol for Mobile Ad-Hoc Networks -- Formal Specification and Validation of Secure Connection Establishment in a Generic Access Network Scenario -- Parametric Language Analysis of the Class of Stop-and-Wait Protocols -- Hierarchical Set Decision Diagrams and Automatic Saturation -- Performance Evaluation of Workflows Using Continuous Petri Nets with Interval Firing Speeds -- Modelling Concurrency with Quotient Monoids -- Labeled Step Sequences in Petri Nets -- MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs -- Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper) -- A Practical Approach to Verification of Mobile Systems Using Net Unfoldings -- Cooperative Arrival Management in Air Traffic Control - A Coloured Petri Net Model of Sequence Planning -- Process Discovery Using Integer Linear Programming -- Tool Papers -- Synthesis of Petri Nets from Scenarios with VipTool -- A Monitoring Toolset for Paose -- Animated Graphical User Interface Generator Framework for Input-Output Place-Transition Petri Net Models -- HYPENS: A Matlab Tool for Timed Discrete, Continuous and Hybrid Petri Nets.
Record Nr. UNINA-9910484218103321
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui