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.
Advances in Petri Nets 1985 [[electronic resource] /] / edited by Grzegorz Rozenberg
| Advances in Petri Nets 1985 [[electronic resource] /] / edited by Grzegorz Rozenberg |
| Edizione | [1st ed. 1986.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1986 |
| Descrizione fisica | 1 online resource (VIII, 500 p.) |
| Disciplina | 004.6 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer communication systems
Computer Communication Networks |
| ISBN | 3-540-39822-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The signing of a contract — a tree-structured application modelled with petri net building blocks -- Checking properties of nets using transformations -- Petri nets and algebraic calculi of processes -- Fair controls and their realization -- Beta processes of C/E systems -- Synchronic distances in C/E systems -- Process periods and system reconstruction -- Guidelines on using net analysis techniques with large specifications -- Application of an extension of petri nets to modelization of control and production processes -- Making nets abstract and structured -- Petri net tools -- Projections of CE-systems -- Synchronic structure -- Safe states in Banker like resource allocation Problems -- Coordination technology and Petri nets -- Pascal semantics by a combination of denotational semantics and high-level petri nets -- On the invariants of coloured Petri Nets -- A logical formalism for the study of the finite behaviour of Petri nets -- Determination of a poset by its co-relation -- Some equivalence notions for concurrent systems. An overview -- Towards a comprehensive office model integrating information and resources -- Non-linear invariants for coloured Petri nets with interdependent tokens; application to the proof of parallel programs -- Protocol analysis using Numerical Petri Nets -- Petri nets, morphisms and compositionality -- M-timed Petri nets, priorities, preemptions, and performance evaluation of systems. |
| Record Nr. | UNISA-996465704903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1986 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advances in Petri Nets 1986. Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986 [[electronic resource] ] : Part 2: Petri Nets: Applications and Relationships to Other Models of Concurrency / / edited by Wilfried Brauer, Wolfgang Reisig, Grzegorz Rozenberg
| Advances in Petri Nets 1986. Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986 [[electronic resource] ] : Part 2: Petri Nets: Applications and Relationships to Other Models of Concurrency / / edited by Wilfried Brauer, Wolfgang Reisig, Grzegorz Rozenberg |
| Edizione | [1st ed. 1987.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1987 |
| Descrizione fisica | 1 online resource (X, 519 p.) |
| Disciplina | 004.6 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer communication systems
Computer Communication Networks |
| ISBN | 3-540-47926-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | to Part II -- Computer tools for construction, modification and analysis of Petri nets -- Petri net tool overview 1986 -- Petri nets in software engineering -- Nets in data bases -- Petri net based models in the specification and verification of protocols -- Human-machine interaction and role/function/action-nets -- Nets in production systems -- Nets in computer organization -- Nets in office automation -- Modelling architectural features with petrinets -- Trace theory -- Event structures -- CCS — and its relationship to net theory -- COSY: Its relation to nets and to CSP -- TCSP: Theory of communicating sequential processes -- Reduction, data flow and control flow models of computation -- “Forgotten topics” of net theory. |
| Record Nr. | UNISA-996465691003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1987 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advances in Petri Nets 1987 [[electronic resource] /] / edited by Grzegorz Rozenberg
| Advances in Petri Nets 1987 [[electronic resource] /] / edited by Grzegorz Rozenberg |
| Edizione | [1st ed. 1987.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1987 |
| Descrizione fisica | 1 online resource (VIII, 456 p.) |
| Disciplina | 004.6 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer communication systems
Computer Communication Networks |
| ISBN | 3-540-47743-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Specification and properties of a cache coherence protocol model -- GAMERU: A language for the analysis and design of human communication pragmatics within organizational systems -- Recent results on the complexity of problems related to Petri nets -- Algebraic structure of flows of a regular coloured net -- On equivalent execution semantics of concurrent systems -- Mathematical methods for calculating invariants in Petri nets -- On Petri nets with deterministic and exponentially distributed firing times -- An accurate performance model of CSMA/CD bus LAN -- Petri net models for the ?-calculus -- Fair processes -- Operational Petri net semantics for CCSP -- Infinitary languages of Petri nets and logical sentences -- A strong part of concurrency -- Concurrency and continuity -- Parallel systems specifications with coloured Petri nets and algebraic specifications -- Bibliography of Petri nets. |
| Record Nr. | UNISA-996465828203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1987 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advances in Petri Nets 1988 [[electronic resource] /] / edited by Grzegorz Rozenberg
| Advances in Petri Nets 1988 [[electronic resource] /] / edited by Grzegorz Rozenberg |
| Edizione | [1st ed. 1988.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1988 |
| Descrizione fisica | 1 online resource (VI, 440 p.) |
| Disciplina | 004.0151 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Architecture, Computer Computer communication systems Algorithms Computer logic Microprocessors Computation by Abstract Devices Computer System Implementation Computer Communication Networks Algorithm Analysis and Problem Complexity Logics and Meanings of Programs Processor Architectures |
| ISBN | 3-540-46059-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | An environment for object-oriented conceptual programming based on PROT nets -- OBJSA Nets: a class of high-level nets having objects as domains -- On internal and external characterisations of PT-net building block behaviour -- Timed Petri Net schedules -- An exercise in concurrency: A CSP process as a condition/event system -- A survey on the decidability questions for classes of fifo nets -- The construction of EN systems from a given trace behaviour -- Programming a closely coupled multiprocessor system with high level petri nets -- Music description and processing by Petri Nets -- On questions of fairness and temporal logic for conflict-free Petri nets -- Infinitary partial Petri net languages and their relationship to other Petri net semantics -- Net representation of sentences in natural languages -- Some consequences of the decidability of the reachability problem for Petri nets -- Experiences in the use of galileo to design telecommunication systems -- Compositional semantics of pure place/transition systems -- Occurrence traces -- Performance evaluation of interpreted bipolar synchronization schemes using G.E.R.T. -- On the generation of organizational architectures using Petri Nets -- On the computation of structural synchronic invariants in P/T nets -- On the implementation of Petri nets. |
| Record Nr. | UNISA-996465286303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1988 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advances in Petri Nets 1989 [[electronic resource] /] / edited by Grzegorz Rozenberg
| Advances in Petri Nets 1989 [[electronic resource] /] / edited by Grzegorz Rozenberg |
| Edizione | [1st ed. 1990.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1990 |
| Descrizione fisica | 1 online resource (VIII, 528 p.) |
| Disciplina | 004.0151 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Mathematics Algorithms Computer logic Microprocessors Computation by Abstract Devices Theory of Computation Mathematics, general Algorithm Analysis and Problem Complexity Logics and Meanings of Programs Processor Architectures |
| ISBN | 3-540-46998-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Stochastic Petri nets: An elementary introduction -- Improving the efficiency of the analysis of DSPN models -- Synchronized elementary net systems -- Descriptive and analytical process algebras -- P/T-systems as abstractions of C/E-systems -- The semantics of capacities in P/T nets -- Petri net tool overview 1989 -- Equivalence transformations of PrT-Nets -- A reduction theory for coloured nets -- Optimizing microprograms for recurrent loops on pipelined architectures using timed Petri nets -- S-CORT®: A method for the development of electronic payment systems -- Timed Petri nets and application to multi-stage production systems -- Petri net systems and their closure properties -- Occam and the transputer -- About the concurrent behaviour of EN systems: Definability and closure results -- Petri nets and flexible manufacturing -- Some properties of timed nets under the earliest firing rule -- A comparative study of different techniques for semi-flows computation in place/transition nets -- Elementary net systems and dynamic logic -- Representation of a swapping class by one net -- Design methods based on nets -- CEDISYS compositional distributed systems state of the art, research goals, references. |
| Record Nr. | UNISA-996465616103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advances in Petri Nets 1990 [[electronic resource] /] / edited by Grzegorz Rozenberg
| Advances in Petri Nets 1990 [[electronic resource] /] / edited by Grzegorz Rozenberg |
| Edizione | [1st ed. 1991.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1991 |
| Descrizione fisica | 1 online resource (VIII, 516 p.) |
| Disciplina | 004.0151 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Algorithms Computer logic Microprocessors Computer communication systems Theory of Computation Computation by Abstract Devices Algorithm Analysis and Problem Complexity Logics and Meanings of Programs Processor Architectures Computer Communication Networks |
| ISBN | 3-540-46369-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A survey of behaviour and equivalence preserving refinements of petri nets -- A distributed simulator for high order Petri nets -- Petri nets with uncertain markings -- Convex geometry and semiflows in P/T nets. A comparative study of algorithms for computation of minimal p-semiflows -- Improving the linearly based characterization of P/T nets -- Linear invariants in commutative high level nets -- Vicinity respecting net morphisms -- Regular stochastic petri nets -- Circuits, handles, bridges and nets -- On the analysis and synthesis of free choice systems -- Petri net models of a distributed election protocol on a unidirectional ring -- Hierarchies in coloured petri nets -- Coloured petri nets: A high level language for system design and analysis -- A simulation system architecture for graph models -- A state transformation preorder over a class of EN systems -- Composition of nets via a communication medium -- ?Trellis: A system for writing and browsing petri-net-based hypertext -- Stubborn sets for reduced state space generation. |
| Record Nr. | UNISA-996465406103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advances in Petri Nets 1991 [[electronic resource] /] / edited by Grzegorz Rozenberg
| Advances in Petri Nets 1991 [[electronic resource] /] / edited by Grzegorz Rozenberg |
| Edizione | [1st ed. 1991.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1991 |
| Descrizione fisica | 1 online resource (VIII, 576 p.) |
| Disciplina | 004.0151 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Computer communication systems Applied mathematics Engineering mathematics Algorithms Computer logic Microprocessors Computation by Abstract Devices Computer Communication Networks Applications of Mathematics Algorithm Analysis and Problem Complexity Logics and Meanings of Programs Processor Architectures |
| ISBN | 3-540-47600-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Delays in synchronized elementary net systems -- Proving temporal properties of Petri nets -- The complexity of testing the equivalence of transition sequences -- Use of reentrant nets in modular analysis of colored nets -- On abstractions of nets -- Semantics, composition and net properties of algebraic high-level nets -- Top-down synthesis of live and bounded free choice nets -- Hood nets -- Distributable nets -- Computer supported design of kanban controlled production -- Optimal simulations, nets and reachability graphs -- An integrated software development methodology based on hierarchical colored Petri nets -- On net systems generated by process foldings -- On liveness preservation by composition of nets via a set of places -- Software implementation of petri nets and compilation of rule-based systems -- Bibliography of Petri nets 1990. |
| Record Nr. | UNISA-996465291903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advances in Petri Nets 1992 [[electronic resource] /] / edited by Grzegorz Rozenberg
| Advances in Petri Nets 1992 [[electronic resource] /] / edited by Grzegorz Rozenberg |
| Edizione | [1st ed. 1992.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1992 |
| Descrizione fisica | 1 online resource (VIII, 476 p.) |
| Disciplina | 004.0151 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Algorithms Computer logic Microprocessors Computer communication systems Operating systems (Computers) Computation by Abstract Devices Algorithm Analysis and Problem Complexity Logics and Meanings of Programs Processor Architectures Computer Communication Networks Operating Systems |
| ISBN | 3-540-47258-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Esprit basic research action 3148 DEMON (Design methods based on nets) — Aims, scope and achievements — -- The box calculus: A new causal algebra with multi-label communication -- Modular functional modelling of petri nets with individual tokens -- Interleaving semantics and action refinement with atomic choice -- Maximality preservation and the ST-idea for action refinements -- A fifo-net model for processes with asynchronous communication -- A basic-net algebra for program semantics and its application to occam -- The effect of Vector synchronization: Residue and loss -- Modelling systems with dynamic priorities -- On distributed languages and models for concurrency -- Partial words versus processes: A short comparison -- A survey of basic net models and modular net classes -- Structural techniques and performance bounds of stochastic Petri net models -- A survey of recognizable languages of infinite traces -- A survey of equivalence notions for net based systems. |
| Record Nr. | UNISA-996465760003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advances in Petri Nets 1993 [[electronic resource] /] / edited by Grzegorz Rozenberg
| Advances in Petri Nets 1993 [[electronic resource] /] / edited by Grzegorz Rozenberg |
| Edizione | [1st ed. 1993.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1993 |
| Descrizione fisica | 1 online resource (X, 462 p.) |
| Disciplina | 003.3 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Architecture, Computer
Computers Algorithms Computer logic Microprocessors Computer communication systems Computer System Implementation Computation by Abstract Devices Algorithm Analysis and Problem Complexity Logics and Meanings of Programs Processor Architectures Computer Communication Networks |
| ISBN | 3-540-47631-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Replacement of open interface subnets and stable state transformation equivalence -- Bounded self-stabilizing Petri nets -- Generative families of positive invariants in Coloured nets sub-classes -- Autonomous and timed continuous Petri nets -- The Devnet: A Petri net for discrete event simulation -- A new technique for finding a generating family of siphons, traps and st-components. Application to colored Petri nets -- A concept of hierarchical Petri nets with building blocks -- Petri net tool overview 1992 -- The minimal coverability graph for Petri nets -- Distributed implementation of CCS -- Saturation conditions for Stochastic Petri Nets -- Marking optimization in timed event graphs -- Parameterized reachability trees for Predicate/Transition nets -- Iterative decomposition and aggregation of Stochastic marked graph Petri nets -- Constraints and extensions in a Calculus of EN systems -- Comparability orders and measurement -- Deterministic systems of sequential processes: A class of structured Petri nets -- Compositional state space generation. |
| Record Nr. | UNISA-996466080403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Application of Petri Nets to Communication Networks [[electronic resource] ] : Advances in Petri Nets / / edited by Jonathan Billington, Michel Diaz, Grzegorz Rozenberg
| Application of Petri Nets to Communication Networks [[electronic resource] ] : Advances in Petri Nets / / edited by Jonathan Billington, Michel Diaz, Grzegorz Rozenberg |
| Edizione | [1st ed. 1999.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1999 |
| Descrizione fisica | 1 online resource (X, 314 p.) |
| Disciplina | 004/.36 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer communication systems
Application software Software engineering Information storage and retrieval Electrical engineering Computer Communication Networks Information Systems Applications (incl. Internet) Software Engineering Information Storage and Retrieval Communications Engineering, Networks |
| ISBN | 3-540-48911-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Using high-level petri nets in the field of intelligent networks -- The incremental modelling of the Z39.50 protocol with object petri nets -- The modelling and analysis of IEEE 802.6's configuration control protocol with coloured petri nets -- Colored petri nets based modeling and simulation of the static and dynamic allocation policies of the asynchronous bandwidth in the fieldbus protocol -- Parameter region for the proper operation of the IEEE 802.2 LLC type 3 protocol: A petri net approach -- Timed petri net models of ATM LANs -- Performance evaluation of polling-based communication systems using SPNs -- Structural decomposition and serial solution of SPN models of the ATM GAUSS switch -- COSTPN for Modeling and control of telecommunication systems -- Stochastic colored petri net models for rainbow optical networks. |
| Record Nr. | UNISA-996465943103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1999 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
