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 1993 [[electronic resource] ] : 14th International Conference, Chicago, Illinois, USA, June 21-25, 1993. Proceedings / / edited by Marco Ajmone Marsan
| Application and Theory of Petri Nets 1993 [[electronic resource] ] : 14th International Conference, Chicago, Illinois, USA, June 21-25, 1993. Proceedings / / edited by Marco Ajmone Marsan |
| Edizione | [1st ed. 1993.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1993 |
| Descrizione fisica | 1 online resource (X, 598 p.) |
| Disciplina | 519 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Applied mathematics
Engineering mathematics Mathematical logic Computers Algorithms Computer logic Mathematical and Computational Engineering Applications of Mathematics Mathematical Logic and Foundations Computation by Abstract Devices Algorithm Analysis and Problem Complexity Logics and Meanings of Programs |
| ISBN | 3-540-47759-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Modeling and enactment of workflow systems -- Interleaving functional and performance structural analysis of net models -- FSPNs: Fluid stochastic Petri nets -- Taking advantages of temporal redundancy in High Level Petri Nets implementations -- A subset of Lotos with the computational power of Place/Transition-nets -- An efficient algorithm for finding structural deadlocks in colored Petri nets -- Synthesis of net systems -- Hierarchies in colored GSPNs -- Variable reasoning and analysis about uncertainty with fuzzy Petri nets -- Distributed simulation of timed Petri nets: Exploiting the net structure to obtain efficiency -- Transient analysis of deterministic and stochastic Petri nets -- Coloured Petri nets extended with place capacities, test arcs and inhibitor arcs -- Integrating software engineering methods and Petri nets for the specification and prototyping of complex information systems -- Shortest paths in reachability graphs -- Construction of S-invariants and S-components for refined Petri boxes -- Compositional liveness properties of EN-systems -- Analysis of place/transition nets with timed arcs and its application to batch process control -- On well-formed nets and optimizations in enabling tests -- Linear time algorithm to find a minimal deadlock in a strongly connected free-choice net -- Exploiting T-invariant analysis in diagnostic reasoning on a Petri net model -- Marking optimization of stochastic timed event graphs -- A client-server protocol for the composition of Petri nets -- Analysis of dynamic load balancing strategies using a combination of stochastic petri nets and queueing networks -- Liveness and home states in equal conflict systems -- Bridging the gap between place- and Floyd-invariants with applications to preemptive scheduling -- Interval timed coloured petri nets and their analysis -- Integration of specification for modeling and specification for system design -- New priority-lists for scheduling in timed Petri nets -- A unified approach for reasoning about conflict-free Petri nets -- A colored Petri Net model for a naval command and control system -- Petri Net based specifications of services in an Intelligent Network-Experiences gained from a test case application -- On net modeling of industrial size concurrent systems -- Analysis of the TMS320C40 communication channels using timed Petri Nets -- Protocol optimization for a packet-switched bus in case of burst traffic by means of GSPN -- Petri Nets modeling in pipelined microprocessor design. |
| Record Nr. | UNISA-996466085503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Application and Theory of Petri Nets 1995 [[electronic resource] ] : 16th International Conference, Torino, Italy, June 26 - 30, 1995. Proceedings / / edited by Giorgio DeMichelis, Michel Diaz
| Application and Theory of Petri Nets 1995 [[electronic resource] ] : 16th International Conference, Torino, Italy, June 26 - 30, 1995. Proceedings / / edited by Giorgio DeMichelis, Michel Diaz |
| Edizione | [1st ed. 1995.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1995 |
| Descrizione fisica | 1 online resource (X, 518 p.) |
| Disciplina | 004.0151 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Architecture, Computer Mathematical logic Algorithms Computer logic Microprocessors Computation by Abstract Devices Computer System Implementation Mathematical Logic and Foundations Algorithm Analysis and Problem Complexity Logics and Meanings of Programs Processor Architectures |
| ISBN | 3-540-49408-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A refined view of the box algebra -- Distributed algorithms and causally consistent observations (abstract) -- Petri Nets for information systems modelling -- On liveness in Extended Non Self-Controlling Nets -- An algebraic semantics for hierarchical P/T nets -- A Petri net based environment for the design of event-driven interfaces -- An incremental specification of a Hydroelectric Power Plant Control System using a class of modular algebraic nets -- A class of composable high level Petri nets -- An efficient algorithm for the computation of stubborn sets of well formed Petri Nets -- CAB: An environment for developing concurrent application -- A notion of equivalence for stochastic Petri nets -- Parallel state space exploration for GSPN models -- Modular state space analysis of coloured Petri Nets -- Programmable controller design based on a synchronized colored Petri net model and integrating fuzzy reasoning -- Symbolic reachability graph and partial symmetries -- Causal behaviours and nets -- From Coloured Petri Nets to Object Petri Nets -- Handles and reachability analysis of free choice nets -- Performance bounds for stochastic timed Petri nets -- An inspection model with minimal and major maintenance for a Flexible Manufacturing Cell using Generalized Stochastic Petri Nets -- Subclasses of recognizable trace languages -- Verification of asynchronous circuits by BDD-based model checking of Petri nets -- Parameterized reachability trees for algebraic Petri nets -- Efficient simulation of Thor nets -- Functional equivalences of Petri nets -- Hierarchical Time Stream Petri Net: A model for hypermedia systems -- Markov Regenerative Stochastic Petri Nets with age type general transitions -- Timed processes of Timed Petri Nets. |
| Record Nr. | UNISA-996466157103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Application and Theory of Petri Nets 1996 [[electronic resource] ] : 17th International Conference, Osaka, Japan, June 24-28, 1996. Proceedings / / edited by Jonathan Billington, Wolfgang Reisig
| Application and Theory of Petri Nets 1996 [[electronic resource] ] : 17th International Conference, Osaka, Japan, June 24-28, 1996. Proceedings / / edited by Jonathan Billington, Wolfgang Reisig |
| Edizione | [1st ed. 1996.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 |
| Descrizione fisica | 1 online resource (VIII, 556 p.) |
| Disciplina | 004.0151 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Architecture, Computer Mathematical logic Algorithms Computer logic Computer communication systems Computation by Abstract Devices Computer System Implementation Mathematical Logic and Foundations Algorithm Analysis and Problem Complexity Logics and Meanings of Programs Computer Communication Networks |
| ISBN | 3-540-68505-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Modeling concurrent systems: Actors, nets, and the problem of abstraction and composition -- Temporal uncertainty and fuzzy-timing high-level Petri nets -- Compositionality in state space verification methods -- On liveness and controlled siphons in Petri nets -- Behavioural and structural composition rules preserving liveness by synchronization for colored FIFO nets -- High level synthesis of synchronous parallel controllers -- Non sequential semantics for contextual P/T nets -- The PSR methodology: Integrating hardware and software models -- Designing and verifying a communications gateway using coloured Petri nets and design/CPN™ -- Expected impulse rewards in Markov regenerative stochastic Petri nets -- Asynchronous composition of high level Petri Nets: A quantitative approach -- A formal definition of hierarchical predicate transition nets -- Reduced state space representation for unbounded vector state spaces -- Modelling and analysis of distributed program execution in BETA using coloured Petri Nets -- Reachability analysis based on structured representations -- Arc-typed Petri Nets -- The SEA Language for system engineering and animation -- A new iterative numerical solution algorithm for a class of stochastic Petri Nets -- A structural approach for the analysis of Petri Nets by reduced unfoldings -- An O(S × T)-algorithm to verify if a net is regular -- The consistent use of names and polymorphism in the definition of Object Petri Nets -- Designing a security system by means of Coloured Petri Nets -- Modeling and analysing DART systems through high-level Petri nets -- {SC}*ECS: A class of modular and hierarchical cooperating systems -- Behavioural equivalence for infinite systems — Partially decidable! -- Topological aspects of traces -- Asynchronous control device design by net model behavior simulation -- Covering step graph -- Performance analysis of a connection management scheme in IWU interconnecting LANs across ATM networks. |
| Record Nr. | UNISA-996465640703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Application and Theory of Petri Nets 1997 [[electronic resource] ] : 18th International Conference, ICATPN'97, Toulouse, France, June 23-27, 1997, Proceedings / / edited by Pierre Azema, Gianfranco Balbo
| Application and Theory of Petri Nets 1997 [[electronic resource] ] : 18th International Conference, ICATPN'97, Toulouse, France, June 23-27, 1997, Proceedings / / edited by Pierre Azema, Gianfranco Balbo |
| Edizione | [1st ed. 1997.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
| Descrizione fisica | 1 online resource (IX, 475 p.) |
| Disciplina | 004.0151 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Mathematical logic Computer communication systems Computer science—Mathematics Operating systems (Computers) Combinatorics Theory of Computation Mathematical Logic and Foundations Computer Communication Networks Discrete Mathematics in Computer Science Operating Systems |
| ISBN | 3-540-69187-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Model checking LTL using constraint programming -- On the composition of timed systems -- Some issues about Petri net application to manufacturing and process supervisory control -- On the abstraction of coloured Petri Nets -- Life-cycle inheritance -- Multi-agent-systems based on coloured Petri nets -- On the complexity of the linear-time ?-calculus for Petri Nets -- Improved implementations via a new structural equivalence on labeled nets -- Time processes for time Petri nets -- Timed Petri nets and temporal linear logic -- Efficient handling of Phase-type distributions in generalized stochastic Petri nets -- Petri's axioms of concurrency a selection of recent results -- Analysis of Petri nets with a dynamic priority method -- A compositional partial order semantics for Petri net components -- Covering step graph preserving failure semantics -- Siphons, traps and high-level nets with infinite color domains -- Teaching Coloured Petri Nets — a gentle introduction to formal methods in a distributed systems course -- Transition systems of Elementary Net Systems with inhibitor arcs -- Coupling asynchrony and interrupts: Place Chart Nets -- Modeling and solving constraint satisfaction problems through Petri nets -- Fault detection in telecommunication networks based on a Petri net representation of alarm propagation -- Analysing bang & Olufsen's BeoLink® audio/video system using coloured Petri nets -- Verification of workflow nets -- Verification of siphons and traps for algebraic Petri nets -- Orthogonal transformations for coloured Petri nets. |
| Record Nr. | UNINA-9910144919003321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Application and Theory of Petri Nets 1997 [[electronic resource] ] : 18th International Conference, ICATPN'97, Toulouse, France, June 23-27, 1997, Proceedings / / edited by Pierre Azema, Gianfranco Balbo
| Application and Theory of Petri Nets 1997 [[electronic resource] ] : 18th International Conference, ICATPN'97, Toulouse, France, June 23-27, 1997, Proceedings / / edited by Pierre Azema, Gianfranco Balbo |
| Edizione | [1st ed. 1997.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
| Descrizione fisica | 1 online resource (IX, 475 p.) |
| Disciplina | 004.0151 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Mathematical logic Computer communication systems Computer science—Mathematics Operating systems (Computers) Combinatorics Theory of Computation Mathematical Logic and Foundations Computer Communication Networks Discrete Mathematics in Computer Science Operating Systems |
| ISBN | 3-540-69187-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Model checking LTL using constraint programming -- On the composition of timed systems -- Some issues about Petri net application to manufacturing and process supervisory control -- On the abstraction of coloured Petri Nets -- Life-cycle inheritance -- Multi-agent-systems based on coloured Petri nets -- On the complexity of the linear-time ?-calculus for Petri Nets -- Improved implementations via a new structural equivalence on labeled nets -- Time processes for time Petri nets -- Timed Petri nets and temporal linear logic -- Efficient handling of Phase-type distributions in generalized stochastic Petri nets -- Petri's axioms of concurrency a selection of recent results -- Analysis of Petri nets with a dynamic priority method -- A compositional partial order semantics for Petri net components -- Covering step graph preserving failure semantics -- Siphons, traps and high-level nets with infinite color domains -- Teaching Coloured Petri Nets — a gentle introduction to formal methods in a distributed systems course -- Transition systems of Elementary Net Systems with inhibitor arcs -- Coupling asynchrony and interrupts: Place Chart Nets -- Modeling and solving constraint satisfaction problems through Petri nets -- Fault detection in telecommunication networks based on a Petri net representation of alarm propagation -- Analysing bang & Olufsen's BeoLink® audio/video system using coloured Petri nets -- Verification of workflow nets -- Verification of siphons and traps for algebraic Petri nets -- Orthogonal transformations for coloured Petri nets. |
| Record Nr. | UNISA-996465406003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
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
| 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. | UNINA-9910143600303321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
| 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
| 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 2004 [[electronic resource] ] : 25th International Conference, ICATPN 2004, Bologna, Italy, June 21-25, 2004, Proceedings / / edited by Jordi Cortadella, Wolfgang Reisig
| Applications and Theory of Petri Nets 2004 [[electronic resource] ] : 25th International Conference, ICATPN 2004, Bologna, Italy, June 21-25, 2004, Proceedings / / edited by Jordi Cortadella, Wolfgang Reisig |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (XI, 505 p.) |
| Disciplina | 511.35 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Mathematical logic
Computers Computer science—Mathematics Software engineering Operating systems (Computers) Computer communication systems Mathematical Logic and Foundations Theory of Computation Discrete Mathematics in Computer Science Software Engineering Operating Systems Computer Communication Networks |
| ISBN | 3-540-27793-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited papers -- Positive Non-interference in Elementary and Trace Nets -- Reachability Set Generation for Petri Nets: Can Brute Force Be Smart? -- Embedded Software: Better Models, Better Code -- Specification and Model Checking of Temporal Properties in Time Petri Nets and Timed Automata -- Formal Tools for Modular System Development -- Stochastic Methods for Dependability, Performability, and Security Evaluation -- Full papers -- Composition of Temporal Logic Specifications -- On the Use of Coloured Petri Nets for Object-Oriented Design -- Qualitative Modelling of Genetic Networks: From Logical Regulatory Graphs to Standard Petri Nets -- Finite Unfoldings of Unbounded Petri Nets -- Compositional Modeling of Complex Systems: Contact Center Scenarios in OsMoSys -- Generalised Soundness of Workflow Nets Is Decidable -- Petri Net Based Model Validation in Systems Biology -- Synthesis of Controlled Behavior with Modules of Signal Nets -- New Canonical Representative Marking Algorithms for Place/Transition-Nets -- Properties of Object Petri Nets -- LTL Model Checking for Modular Petri Nets -- Covering Fairness against Conspiracies -- Modeling and Analysis of Margolus Quantum Cellular Automata Using Net-Theoretical Methods -- A Framework for the Modelling and Simulation of Distributed Transaction Processing Systems Using Coloured Petri Nets -- Time Petri Nets with Inhibitor Hyperarcs. Formal Semantics and State Space Computation -- Transit Case Study -- Eliminating Internal Behaviour in Petri Nets -- Infinity of Intermediate States Is Decidable for Petri Nets -- Operation Net System: A Formal Design Representation Model for High-Level Synthesis of Asynchronous Systems Based on Transformations -- Tool Papers -- EMiT: A Process Mining Tool -- 3D-Visualization of Petri Net Models: Concept and Realization -- An Approach to Distributed State Space Exploration for Coloured Petri Nets -- An Extensible Editor and Simulation Engine for Petri Nets: Renew -- Web Supported Enactment of Petri-Net Based Workflows with XRL/Flower. |
| Record Nr. | UNINA-9910144151703321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Applications and Theory of Petri Nets 2004 [[electronic resource] ] : 25th International Conference, ICATPN 2004, Bologna, Italy, June 21-25, 2004, Proceedings / / edited by Jordi Cortadella, Wolfgang Reisig
| Applications and Theory of Petri Nets 2004 [[electronic resource] ] : 25th International Conference, ICATPN 2004, Bologna, Italy, June 21-25, 2004, Proceedings / / edited by Jordi Cortadella, Wolfgang Reisig |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (XI, 505 p.) |
| Disciplina | 511.35 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Mathematical logic
Computers Computer science—Mathematics Software engineering Operating systems (Computers) Computer communication systems Mathematical Logic and Foundations Theory of Computation Discrete Mathematics in Computer Science Software Engineering Operating Systems Computer Communication Networks |
| ISBN | 3-540-27793-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited papers -- Positive Non-interference in Elementary and Trace Nets -- Reachability Set Generation for Petri Nets: Can Brute Force Be Smart? -- Embedded Software: Better Models, Better Code -- Specification and Model Checking of Temporal Properties in Time Petri Nets and Timed Automata -- Formal Tools for Modular System Development -- Stochastic Methods for Dependability, Performability, and Security Evaluation -- Full papers -- Composition of Temporal Logic Specifications -- On the Use of Coloured Petri Nets for Object-Oriented Design -- Qualitative Modelling of Genetic Networks: From Logical Regulatory Graphs to Standard Petri Nets -- Finite Unfoldings of Unbounded Petri Nets -- Compositional Modeling of Complex Systems: Contact Center Scenarios in OsMoSys -- Generalised Soundness of Workflow Nets Is Decidable -- Petri Net Based Model Validation in Systems Biology -- Synthesis of Controlled Behavior with Modules of Signal Nets -- New Canonical Representative Marking Algorithms for Place/Transition-Nets -- Properties of Object Petri Nets -- LTL Model Checking for Modular Petri Nets -- Covering Fairness against Conspiracies -- Modeling and Analysis of Margolus Quantum Cellular Automata Using Net-Theoretical Methods -- A Framework for the Modelling and Simulation of Distributed Transaction Processing Systems Using Coloured Petri Nets -- Time Petri Nets with Inhibitor Hyperarcs. Formal Semantics and State Space Computation -- Transit Case Study -- Eliminating Internal Behaviour in Petri Nets -- Infinity of Intermediate States Is Decidable for Petri Nets -- Operation Net System: A Formal Design Representation Model for High-Level Synthesis of Asynchronous Systems Based on Transformations -- Tool Papers -- EMiT: A Process Mining Tool -- 3D-Visualization of Petri Net Models: Concept and Realization -- An Approach to Distributed State Space Exploration for Coloured Petri Nets -- An Extensible Editor and Simulation Engine for Petri Nets: Renew -- Web Supported Enactment of Petri-Net Based Workflows with XRL/Flower. |
| Record Nr. | UNISA-996465434303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
The argument of mathematics [[electronic resource] /] / edited by Andrew Aberdein, Ian J Dove
| The argument of mathematics [[electronic resource] /] / edited by Andrew Aberdein, Ian J Dove |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Dordrecht : , : Springer Netherlands : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (391 p.) |
| Disciplina | 510.1 |
| Collana | Logic, Epistemology, and the Unity of Science |
| Soggetto topico |
Logic
Mathematical logic Mathematical Logic and Foundations Mathematical Logic and Formal Languages |
| ISBN | 94-007-6534-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Part I. What are Mathematical Arguments? -- Chapter 1. Non-Deductive Logic in Mathematics: The Probability of Conjectures; James Franklin -- Chapter 2. Arguments, Proofs, and Dialogues; Erik C. W. Krabbe -- Chapter 3. Argumentation in Mathematics; Jesús Alcolea Banegas -- Chapter 4. Arguing Around Mathematical Proofs; Michel Dufour -- Part II. Argumentation as a Methodology for Studying Mathematical Practice -- Chapter 5. An Argumentative Approach to Ideal Elements in Mathematics; Paola Cantù -- Chapter 6. How Persuaded Are You? A Typology of Responses; Matthew Inglis and Juan Pablo Mejía-Ramos -- Chapter 7. Revealing Structures of Argumentations in Classroom Proving Processes; Christine Knipping and David Reid -- Chapter 8. Checking Proofs; Jesse Alama and Reinhard Kahle -- Part III. Mathematics as a Testbed for Argumentation Theory -- Chapter 9. Dividing by Zero—and Other Mathematical Fallacies; Lawrence H. Powers -- Chapter 10. Strategic Maneuvering in Mathematical Proofs; Erik C. W. Krabbe -- Chapter. 11 Analogical Arguments in Mathematics; Paul Bartha -- Chapter 12. What Philosophy of Mathematical Practice Can Teach Argumentation Theory about Diagrams and Pictures; Brendan Larvor -- Part IV. An Argumentational Turn in the Philosophy of Mathematics -- Chapter 13. Mathematics as the Art of Abstraction; Richard L. Epstein -- Chapter 14. Towards a Theory of Mathematical Argument; Ian J. Dove -- Chapter 15. Bridging the Gap Between Argumentation Theory and the Philosophy of Mathematics; Alison Pease, Alan Smaill, Simon Colton and John Lee -- Chapter 16. Mathematical Arguments and Distributed Knowledge; Patrick Allo, Jean Paul Van Bendegem and Bart Van Kerkhove -- Chapter 17. The Parallel Structure of Mathematical Reasoning; Andrew Aberdein -- Index. |
| Record Nr. | UNINA-9910438332403321 |
| Dordrecht : , : Springer Netherlands : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
