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] ] : 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010, Proceedings / / edited by Johan Lilius, Wojciech Penczek
| Applications and Theory of Petri Nets [[electronic resource] ] : 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010, Proceedings / / edited by Johan Lilius, Wojciech Penczek |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (X, 329 p. 129 illus.) |
| Disciplina | 004.0151135 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Computer programming Software engineering Compilers (Computer programs) Theory of Computation Programming Techniques Software Engineering Computer Science Logic and Foundations of Programming Compilers and Interpreters |
| ISBN |
1-280-38721-1
9786613565136 3-642-13675-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Instance Deadlock: A Mystery behind Frozen Programs -- Some Thoughts on Behavioral Programming -- Petri Nets with Localities and Testing -- A Perspective on Explicit State Space Exploration of Coloured Petri Nets: Past, Present, and Future -- Full Papers -- Can Stubborn Sets Be Optimal? -- Efficient Computation of Causal Behavioural Profiles Using Structural Decomposition -- Canonical Transition Set Semantics for Petri Nets -- A Characterization of Combined Traces Using Labeled Stratified Order Structures -- Integrated Process Planning and Supply Chain Configuration for Commodity Assemblies Using Petri Nets -- The NEO Protocol for Large-Scale Distributed Database Systems: Modelling and Initial Verification -- Factorization Properties of Symbolic Unfoldings of Colored Petri Nets -- Forward Analysis for Petri Nets with Name Creation -- Learning Workflow Petri Nets -- Process Mining from a Basis of State Regions -- Separability in Persistent Petri Nets -- New Algorithms for Deciding the Siphon-Trap Property -- Tool Papers -- AlPiNA: A Symbolic Model Checker -- Wendy: A Tool to Synthesize Partners for Services -- GreatSPN Enhanced with Decision Diagram Data Structures -- PNML Framework: An Extendable Reference Implementation of the Petri Net Markup Language. |
| Record Nr. | UNISA-996465669603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Applications and theory of petri nets : 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010 : proceedings / / Johan Lilius, Wojciech Penczek, (eds.)
| Applications and theory of petri nets : 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010 : proceedings / / Johan Lilius, Wojciech Penczek, (eds.) |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | New York, : Springer, 2010 |
| Descrizione fisica | 1 online resource (X, 329 p. 129 illus.) |
| Disciplina | 004.0151135 |
| Altri autori (Persone) |
LiliusJohan
PenczekWojciech |
| Collana |
Lecture notes in computer science
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
| Soggetto topico | Petri nets |
| ISBN |
1-280-38721-1
9786613565136 3-642-13675-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Instance Deadlock: A Mystery behind Frozen Programs -- Some Thoughts on Behavioral Programming -- Petri Nets with Localities and Testing -- A Perspective on Explicit State Space Exploration of Coloured Petri Nets: Past, Present, and Future -- Full Papers -- Can Stubborn Sets Be Optimal? -- Efficient Computation of Causal Behavioural Profiles Using Structural Decomposition -- Canonical Transition Set Semantics for Petri Nets -- A Characterization of Combined Traces Using Labeled Stratified Order Structures -- Integrated Process Planning and Supply Chain Configuration for Commodity Assemblies Using Petri Nets -- The NEO Protocol for Large-Scale Distributed Database Systems: Modelling and Initial Verification -- Factorization Properties of Symbolic Unfoldings of Colored Petri Nets -- Forward Analysis for Petri Nets with Name Creation -- Learning Workflow Petri Nets -- Process Mining from a Basis of State Regions -- Separability in Persistent Petri Nets -- New Algorithms for Deciding the Siphon-Trap Property -- Tool Papers -- AlPiNA: A Symbolic Model Checker -- Wendy: A Tool to Synthesize Partners for Services -- GreatSPN Enhanced with Decision Diagram Data Structures -- PNML Framework: An Extendable Reference Implementation of the Petri Net Markup Language. |
| Record Nr. | UNINA-9910483534503321 |
| New York, : Springer, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Challenging Problems and Solutions in Intelligent Systems / / edited by Guy de Trė, Przemysław Grzegorzewski, Janusz Kacprzyk, Jan W. Owsiński, Wojciech Penczek, Sławomir Zadrożny
| Challenging Problems and Solutions in Intelligent Systems / / edited by Guy de Trė, Przemysław Grzegorzewski, Janusz Kacprzyk, Jan W. Owsiński, Wojciech Penczek, Sławomir Zadrożny |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (X, 347 p. 66 illus., 51 illus. in color.) |
| Disciplina | 620 |
| Collana | Studies in Computational Intelligence |
| Soggetto topico |
Computational intelligence
Artificial intelligence Computational Intelligence Artificial Intelligence |
| ISBN |
9783319301655
3319301659 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Foundations of Intelligent Computing -- Intelligent Techniques in Data Mining -- Multi-Agent Based Technologies -- Intelligent Computing in Decision Support Systems -- Intelligent Text and Data Retrieval: Towards a Better Representation of Users Intentions. |
| Record Nr. | UNINA-9910254259703321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Mathematical Foundations of Computer Science 1996 [[electronic resource] ] : 21st International Symposium, MFCS' 96, Crakow, Poland, September 2 - 6, 1996. Proceedings / / edited by Wojciech Penczek, Andrzej Szalas
| Mathematical Foundations of Computer Science 1996 [[electronic resource] ] : 21st International Symposium, MFCS' 96, Crakow, Poland, September 2 - 6, 1996. Proceedings / / edited by Wojciech Penczek, Andrzej Szalas |
| Edizione | [1st ed. 1996.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 |
| Descrizione fisica | 1 online resource (X, 602 p.) |
| Disciplina | 004/.01/51 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Software engineering Programming languages (Electronic computers) Combinatorics Theory of Computation Software Engineering Programming Languages, Compilers, Interpreters |
| ISBN | 3-540-70597-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Word level model checking -- Code problems on traces -- Models of DNA computation -- Theory and practice of action semantics -- Linear time temporal logics over Mazurkiewicz traces -- Partial order reduction: Model-checking using representatives -- Nonmonotonic rule systems: Forward chaining, constraints, and complexity -- Mind the gap! Abstract versus concrete models of specifications -- A sequent calculus for subtyping polymorphic types -- Kolmogorov complexity: Recent research in Moscow -- A modal logic for data analysis -- From specifications to programs: A fork-algebraic approach to bridge the gap -- Logic of predicates with explicit substitutions -- On the query complexity of sets -- A Lambda Calculus of incomplete objects -- Bisimilarity problems requiring exponential time (Extended abstract) -- Linear dynamic Kahn networks are deterministic -- Shortest path problems with time constraints -- Parallel Alternating-Direction Access Machine -- Specification and verification of timed lazy systems -- A class of information logics with a decidable validity problem -- On the power of nonconservative PRAM -- Self-similarity viewed as a local property via tile sets -- Simulation of specification statements in Hoare logic -- Equational properties of iteration in algebraically complete categories -- On unconditional transfer -- (poly(log log n), poly(log log n))—Restricted verifiers are unlikely to exist for languages in NP* -- Minimizing congestion of layouts for ATM networks with faulty links -- Polynomial automaticity, context-free languages, and fixed points of morphisms (Extended abstract) -- Causal testing -- Construction of list homomorphisms by tupling and fusion -- Probabilistic metric semantics for a simple language with recursion -- Dynamic graphs -- Equations on trees -- On the equivalence problem for E-pattern languages -- Specifying and verifying parametric processes -- On saturation with flexible function symbols -- Approximating good simultaneous Diophantine approximations is almost NP-hard -- On the conjugation of Standard morphisms -- A semantic matching algorithm: Analysis and implementation -- Routing on triangles, tori and honeycombs -- A uniform analysis of trie structures that store prefixing-keys with application to doubly-chained prefixing-tries -- On fairness in terminating and reactive programs -- Polynomial time samplable distributions -- From static to dynamic abstract data-types. |
| Record Nr. | UNISA-996465292303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Transactions on Petri Nets and Other Models of Concurrency XII [[electronic resource] /] / edited by Maciej Koutny, Jetty Kleijn, Wojciech Penczek, Mingmin Zhang
| Transactions on Petri Nets and Other Models of Concurrency XII [[electronic resource] /] / edited by Maciej Koutny, Jetty Kleijn, Wojciech Penczek, Mingmin Zhang |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XVII, 217 p. 89 illus.) |
| Disciplina | 511.3 |
| Collana | Transactions on Petri Nets and Other Models of Concurrency |
| Soggetto topico |
Software engineering
Computer logic Algorithms Data structures (Computer science) Software Engineering Logics and Meanings of Programs Algorithm Analysis and Problem Complexity Data Structures |
| ISBN | 3-662-55862-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Properties of Plain, Pure, and Safe Petri Nets -- Similarity-based Approaches for Determining the Number of Trace Clusters in Process Discovery -- Log- and Model-Based Techniques for Security-Sensitive Tackling of Obstructed Workflow Executions -- Formal Modelling and Analysis of Distributed Storage Systems -- DB-Nets: on the Marriage of Colored Petri Nets and Relational Databases -- Transition Systems Reduction: Balancing between Precision and Simplicity -- Stubborn Set Intuition Explained -- Decomposed Replay Using Hiding and Reduction as Abstraction -- Multiplicative Transition Systems. |
| Record Nr. | UNISA-996465561903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Transactions on Petri Nets and Other Models of Concurrency XII / / edited by Maciej Koutny, Jetty Kleijn, Wojciech Penczek, Mingmin Zhang
| Transactions on Petri Nets and Other Models of Concurrency XII / / edited by Maciej Koutny, Jetty Kleijn, Wojciech Penczek, Mingmin Zhang |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XVII, 217 p. 89 illus.) |
| Disciplina | 511.3 |
| Collana | Transactions on Petri Nets and Other Models of Concurrency |
| Soggetto topico |
Software engineering
Computer science Algorithms Artificial intelligence - Data processing Software Engineering Computer Science Logic and Foundations of Programming Data Science |
| ISBN | 3-662-55862-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Properties of Plain, Pure, and Safe Petri Nets -- Similarity-based Approaches for Determining the Number of Trace Clusters in Process Discovery -- Log- and Model-Based Techniques for Security-Sensitive Tackling of Obstructed Workflow Executions -- Formal Modelling and Analysis of Distributed Storage Systems -- DB-Nets: on the Marriage of Colored Petri Nets and Relational Databases -- Transition Systems Reduction: Balancing between Precision and Simplicity -- Stubborn Set Intuition Explained -- Decomposed Replay Using Hiding and Reduction as Abstraction -- Multiplicative Transition Systems. |
| Record Nr. | UNINA-9910484224303321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Transactions on Petri Nets and Other Models of Concurrency XIII [[electronic resource] /] / edited by Maciej Koutny, Lars Michael Kristensen, Wojciech Penczek
| Transactions on Petri Nets and Other Models of Concurrency XIII [[electronic resource] /] / edited by Maciej Koutny, Lars Michael Kristensen, Wojciech Penczek |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XVII, 211 p. 69 illus., 30 illus. in color.) |
| Disciplina | 511.3 |
| Collana | Transactions on Petri Nets and Other Models of Concurrency |
| Soggetto topico |
Computers
Computer science—Mathematics Data structures (Computer science) Transportation Data mining Operating systems (Computers) Theory of Computation Discrete Mathematics in Computer Science Data Structures Data Mining and Knowledge Discovery Operating Systems |
| ISBN | 3-662-58381-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Computing Alignments of Event Data and Process Models -- Heuristic Mining Approaches for High-Utility Local Process Models -- On Stability of Regional Orthomodular Posets -- Decision Diagrams for Petri Nets: A Comparison of Variable Ordering Algorithms -- Model Synchronization and Concurrent Simulation of Multiple Formalisms Based on Reference Nets -- Complexity Aspects of Web Services Composition -- GPU Computations and Memory Access Model Based on Petri Net -- Model-Based Testing of the Gorums Framework for Fault-Tolerant Distributed Systems -- MCC 2017 - The Seventh Model Checking Contest. |
| Record Nr. | UNISA-996466173903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Transactions on Petri Nets and Other Models of Concurrency XIII / / edited by Maciej Koutny, Lars Michael Kristensen, Wojciech Penczek
| Transactions on Petri Nets and Other Models of Concurrency XIII / / edited by Maciej Koutny, Lars Michael Kristensen, Wojciech Penczek |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XVII, 211 p. 69 illus., 30 illus. in color.) |
| Disciplina | 511.3 |
| Collana | Transactions on Petri Nets and Other Models of Concurrency |
| Soggetto topico |
Computer science
Computer science - Mathematics Discrete mathematics Artificial intelligence - Data processing Transportation engineering Traffic engineering Data mining Operating systems (Computers) Theory of Computation Discrete Mathematics in Computer Science Data Science Transportation Technology and Traffic Engineering Data Mining and Knowledge Discovery Operating Systems |
| ISBN |
9783662583814
366258381X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Computing Alignments of Event Data and Process Models -- Heuristic Mining Approaches for High-Utility Local Process Models -- On Stability of Regional Orthomodular Posets -- Decision Diagrams for Petri Nets: A Comparison of Variable Ordering Algorithms -- Model Synchronization and Concurrent Simulation of Multiple Formalisms Based on Reference Nets -- Complexity Aspects of Web Services Composition -- GPU Computations and Memory Access Model Based on Petri Net -- Model-Based Testing of the Gorums Framework for Fault-Tolerant Distributed Systems -- MCC 2017 - The Seventh Model Checking Contest. |
| Record Nr. | UNINA-9910349389703321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||