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 : 29th international conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008 : proceedings / / Kees M. van Hee, Rudiger Valk (eds.)
| Applications and theory of Petri nets : 29th international conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008 : proceedings / / Kees M. van Hee, Rudiger Valk (eds.) |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, 2008 |
| Descrizione fisica | 1 online resource (XIII, 429 p.) |
| Disciplina | 511.3/5 |
| Altri autori (Persone) |
HeeKees Max van <1946->
ValkR (Rudiger) |
| 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) Xarxes de Petri Programació multitasca (Informàtica) Processament en paral·lel (Ordinadors) |
| Soggetto genere / forma |
Congressos
Llibres electrònics |
| 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. |
| Altri titoli varianti | PETRI NETS 2008 |
| Record Nr. | UNINA-9910484218103321 |
| Berlin ; ; New York, : Springer, 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
CONCUR 2005 -- concurrency theory : 16th international conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005 : proceedings / / Martin Abadi, Luca de Alfaro (eds.)
| CONCUR 2005 -- concurrency theory : 16th international conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005 : proceedings / / Martin Abadi, Luca de Alfaro (eds.) |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2005 |
| Descrizione fisica | 1 online resource (XXIV, 1280 p.) |
| Disciplina | 004/.35 |
| Altri autori (Persone) |
AbadiMartin
De AlfaroLuca <1966-> |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Parallel processing (Electronic computers)
Computer multitasking Processament en paral·lel (Ordinadors) Programació multitasca (Informàtica) |
| Soggetto genere / forma |
Congressos
Llibres electrònics |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Lectures -- Static Analysis Versus Model Checking for Bug Finding -- The Benefits of Exposing Calls and Returns -- A Compositional Approach to the Stochastic Dynamics of Gene Networks -- Contributed Papers -- Games Other People Play -- Type-Directed Concurrency -- Multiport Interaction Nets and Concurrency -- Model Checking for ?-Calculus Using Proof Search -- A Game Semantics of the Asynchronous ?-Calculus -- Efficient On-the-Fly Algorithms for the Analysis of Timed Games -- Modal Logics for Timed Control -- Timed Shuffle Expressions -- A New Modality for Almost Everywhere Properties in Timed Automata -- The Coarsest Congruence for Timed Automata with Deadlines Contained in Bisimulation -- A Behavioural Pseudometric for Metric Labelled Transition Systems -- On Probabilistic Program Equivalence and Refinement -- Probabilistic Anonymity -- Secrecy Despite Compromise: Types, Cryptography, and the Pi-Calculus -- Timed Spi-Calculus with Types for Secrecy and Authenticity -- Selecting Theories and Recursive Protocols -- Constraint Solving for Contract-Signing Protocols -- A Ground-Complete Axiomatization of Finite State Processes in Process Algebra -- Decomposition and Complexity of Hereditary History Preserving Bisimulation on BPP -- Bisimulations Up-to for the Linear Time Branching Time Spectrum -- Deriving Weak Bisimulation Congruences from Reduction Systems -- SOS for Higher Order Processes -- The Individual and Collective Token Interpretations of Petri Nets -- Merged Processes — A New Condensed Representation of Petri Net Behaviour -- Concurrent Clustered Programming -- A Theory of System Behaviour in the Presence of Node and Link Failures -- Comparing Two Approaches to Compensable Flow Composition -- Transactions in RCCS -- Two-Player Nonzero-Sum ?-Regular Games -- Games Where You Can Play Optimally Without Any Memory -- On Implementation of Global Concurrent Systems with Local Asynchronous Controllers -- Defining Fairness -- Regular Symbolic Analysis of Dynamic Networks of Pushdown Systems -- Termination Analysis of Integer Linear Loops -- A Practical Application of Geometric Semantics to Static Analysis of Concurrent Programs -- Verification of Qualitative ? Constraints -- Uniform Satisfiability Problem for Local Temporal Logics over Mazurkiewicz Traces -- Taming Interface Specifications -- Synthesis of Distributed Systems from Knowledge-Based Specifications. |
| Altri titoli varianti | CONCUR 2005 |
| Record Nr. | UNINA-9910483511203321 |
| Berlin ; ; New York, : Springer, c2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
CONCUR 2009 - concurrency theory : 20th international conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009 : proceedings / / Mario Bravetti, Gianluigi Zavattaro (eds.)
| CONCUR 2009 - concurrency theory : 20th international conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009 : proceedings / / Mario Bravetti, Gianluigi Zavattaro (eds.) |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2009 |
| Descrizione fisica | 1 online resource (XIII, 638 p.) |
| Disciplina | 005.1015113 |
| Altri autori (Persone) |
BravettiMario
ZavattaroGianuigi |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Parallel processing (Electronic computers)
Computer multitasking Processament en paral·lel (Ordinadors) Programació multitasca (Informàtica) |
| Soggetto genere / forma |
Congressos
Llibres electrònics |
| ISBN | 3-642-04081-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Perspectives on Transactional Memory -- The Effect of Tossing Coins in Omega-Automata -- Bigraphical Categories -- BlenX Static and Dynamic Semantics -- Contributed Papers -- Flow Policy Awareness for Distributed Mobile Code -- Volume and Entropy of Regular Timed Languages: Discretization Approach -- A Logical Interpretation of the ?-Calculus into the ?-Calculus, Preserving Spine Reduction and Types -- Encoding Asynchronous Interactions Using Open Petri Nets -- Distributed Asynchronous Automata -- Algebra for Infinite Forests with an Application to the Temporal Logic EF -- Deriving Syntax and Axioms for Quantitative Regular Behaviours -- Weighted Bisimulation in Linear Algebraic Form -- A Logic-Based Framework for Reasoning about Composite Data Structures -- Measuring Permissivity in Finite Games -- Contracts for Mobile Processes -- Power of Randomization in Automata on Infinite Strings -- Probabilistic Weighted Automata -- Partially-Commutative Context-Free Processes -- Testing Finitary Probabilistic Processes -- A Demonic Approach to Information in Probabilistic Systems -- HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour -- Variable Binding, Symmetric Monoidal Closed Theories, and Bigraphs -- Partial Order Reduction for Probabilistic Systems: A Revision for Distributed Schedulers -- Model-Checking Games for Fixpoint Logics with Partial Order Models -- Reachability in Succinct and Parametric One-Counter Automata -- Winning Regions of Pushdown Parity Games: A Saturation Method -- Concurrent Kleene Algebra -- Concavely-Priced Probabilistic Timed Automata -- Compositional Control Synthesis for Partially Observable Systems -- Howe’s Method for Calculi with Passivation -- On the Relationship between ?-Calculus and Finite Place/Transition Petri Nets -- Modeling Radio Networks -- Time-Bounded Verification -- Secure Enforcement for Global Process Specifications -- On Convergence of Concurrent Systems under Regular Interactions -- Computing Stuttering Simulations -- Weak Time Petri Nets Strike Back! -- A General Testability Theory -- Counterexamples in Probabilistic LTL Model Checking for Markov Chains -- Query-Based Model Checking of Ad Hoc Network Protocols -- Strict Divergence for Probabilistic Timed Automata. |
| Altri titoli varianti | CONCUR 2009 |
| Record Nr. | UNINA-9910483828403321 |
| Berlin ; ; New York, : Springer, c2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
CONCUR 2010 - concurrency theory : 21st international conference, CONCUR 2010, Paris, France, August 31-September 3, 2010 : proceedings / / Paul Gastin, Francois Laroussinie, (Eds.)
| CONCUR 2010 - concurrency theory : 21st international conference, CONCUR 2010, Paris, France, August 31-September 3, 2010 : proceedings / / Paul Gastin, Francois Laroussinie, (Eds.) |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, 2010 |
| Descrizione fisica | 1 online resource (XIII, 600 p. 134 illus.) |
| Disciplina | 005.1 |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Parallel processing (Electronic computers)
Computer multitasking Processament en paral·lel (Ordinadors) Programació multitasca (Informàtica) |
| Soggetto genere / forma |
Congressos
Llibres electrònics |
| ISBN |
1-280-38853-6
9786613566454 3-642-15375-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Dating Concurrent Objects: Real-Time Modeling and Schedulability Analysis -- Applications of Shellable Complexes to Distributed Computing -- Concurrency and Composition in a Stochastic World -- Taming Distributed Asynchronous Systems -- Trust in Anonymity Networks -- Learning I/O Automata -- Constrained Monotonic Abstraction: A CEGAR for Parameterized Verification -- Information Flow in Interactive Systems -- From Multi to Single Stack Automata -- A Geometric Approach to the Problem of Unique Decomposition of Processes -- A Logic for True Concurrency -- A Theory of Design-by-Contract for Distributed Multiparty Interactions -- Bisimilarity of One-Counter Processes Is PSPACE-Complete -- Nash Equilibria for Reachability Objectives in Multi-player Timed Games -- Stochastic Real-Time Games with Qualitative Timed Automata Objectives -- Session Types as Intuitionistic Linear Propositions -- Session Types for Access and Information Flow Control -- Simulation Distances -- Mean-Payoff Automaton Expressions -- Obliging Games -- Multipebble Simulations for Alternating Automata -- Parameterized Verification of Ad Hoc Networks -- Termination in Impure Concurrent Languages -- Buffered Communication Analysis in Distributed Multiparty Sessions -- Efficient Bisimilarities from Second-Order Reaction Semantics for ?-Calculus -- On the Use of Non-deterministic Automata for Presburger Arithmetic -- Reasoning about Optimistic Concurrency Using a Program Logic for History -- Theory by Process -- On the Compositionality of Round Abstraction -- A Linear Account of Session Types in the Pi Calculus -- Generic Forward and Backward Simulations II: Probabilistic Simulation -- Kleene, Rabin, and Scott Are Available -- Reversing Higher-Order Pi -- Modal Logic over Higher Dimensional Automata -- A Communication Based Model for Games of Imperfect Information -- Flat Coalgebraic Fixed Point Logics -- Conditional Automata: A Tool for Safe Removal of Negligible Events -- Representations of Petri Net Interactions -- Communicating Transactions -- Consistent Correlations for Parameterised Boolean Equation Systems with Applications in Correctness Proofs for Manipulations. |
| Record Nr. | UNINA-9910484749103321 |
| Berlin ; ; New York, : Springer, 2010 | ||
| 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) Xarxes de Petri Programació multitasca (Informàtica) Processament en paral·lel (Ordinadors) |
| Soggetto genere / forma |
Congressos
Llibres electrònics |
| 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 | ||
| ||
Transactions on petri nets and other models of concurrency . II Special issue on concurrency in process-aware information systems / / Kurt Jensen, Wil M.P. van der Aalst (eds.)
| Transactions on petri nets and other models of concurrency . II Special issue on concurrency in process-aware information systems / / Kurt Jensen, Wil M.P. van der Aalst (eds.) |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg, : Springer, c2009 |
| Descrizione fisica | 1 online resource (XVIII, 297 p.) |
| Disciplina | 005.11 |
| Altri autori (Persone) |
JensenK <1950-> (Kurt)
AalstWil van der |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Computer multitasking
Information resources management Xarxes de Petri Programació multitasca (Informàtica) Gestió de la informació |
| Soggetto genere / forma | Llibres electrònics |
| ISBN | 3-642-00899-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Process-Aware Information Systems: Lessons to Be Learned from Process Mining -- Model-Based Software Engineering and Process-Aware Information Systems -- Petri Net Transformations for Business Processes – A Survey -- A Look Around the Corner: The Pi-Calculus -- newYAWL: Towards Workflow 2.0 -- A Formal Model for Organisational Structures behind Process-Aware Information Systems -- Flexibility in Process-Aware Information Systems -- Business Grid: Combining Web Services and the Grid -- Does My Service Have Partners? -- Deciding Substitutability of Services with Operating Guidelines -- A Framework for Linking and Pricing No-Cure-No-Pay Services -- Empirical Studies in Process Model Verification -- Process Mining: Overview and Outlook of Petri Net Discovery Algorithms -- Construction of Process Models from Example Runs -- Online Interaction Analysis Framework for Ad-Hoc Collaborative Processes in SOA-Based Environments -- Exploiting Inductive Logic Programming Techniques for Declarative Process Mining. |
| Altri titoli varianti | Special issue on concurrency in process-aware information systems |
| Record Nr. | UNINA-9910484509003321 |
| Berlin ; ; Heidelberg, : Springer, c2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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 Xarxes de Petri Programació multitasca (Informàtica) Processament en paral·lel (Ordinadors) |
| Soggetto genere / forma |
Congressos
Llibres electrònics |
| 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 | ||
| ||
