Advances in Petri Nets 1989 [electronic resource] /
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.
Main Authors: | , |
---|---|
Format: | Texto biblioteca |
Language: | eng |
Published: |
Berlin, Heidelberg : Springer Berlin Heidelberg,
1990
|
Subjects: | Computer science., Microprocessors., Computers., Algorithms., Computer logic., Mathematics., Computer Science., Computation by Abstract Devices., Theory of Computation., Mathematics, general., Algorithm Analysis and Problem Complexity., Logics and Meanings of Programs., Processor Architectures., |
Online Access: | http://dx.doi.org/10.1007/3-540-52494-0 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
id |
KOHA-OAI-TEST:209669 |
---|---|
record_format |
koha |
spelling |
KOHA-OAI-TEST:2096692018-07-30T23:41:11ZAdvances in Petri Nets 1989 [electronic resource] / Rozenberg, Grzegorz. editor. SpringerLink (Online service) textBerlin, Heidelberg : Springer Berlin Heidelberg,1990.engStochastic 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.Computer science.Microprocessors.Computers.Algorithms.Computer logic.Mathematics.Computer Science.Computation by Abstract Devices.Theory of Computation.Mathematics, general.Algorithm Analysis and Problem Complexity.Logics and Meanings of Programs.Processor Architectures.Springer eBookshttp://dx.doi.org/10.1007/3-540-52494-0URN:ISBN:9783540469988 |
institution |
COLPOS |
collection |
Koha |
country |
México |
countrycode |
MX |
component |
Bibliográfico |
access |
En linea En linea |
databasecode |
cat-colpos |
tag |
biblioteca |
region |
America del Norte |
libraryname |
Departamento de documentación y biblioteca de COLPOS |
language |
eng |
topic |
Computer science. Microprocessors. Computers. Algorithms. Computer logic. Mathematics. Computer Science. Computation by Abstract Devices. Theory of Computation. Mathematics, general. Algorithm Analysis and Problem Complexity. Logics and Meanings of Programs. Processor Architectures. Computer science. Microprocessors. Computers. Algorithms. Computer logic. Mathematics. Computer Science. Computation by Abstract Devices. Theory of Computation. Mathematics, general. Algorithm Analysis and Problem Complexity. Logics and Meanings of Programs. Processor Architectures. |
spellingShingle |
Computer science. Microprocessors. Computers. Algorithms. Computer logic. Mathematics. Computer Science. Computation by Abstract Devices. Theory of Computation. Mathematics, general. Algorithm Analysis and Problem Complexity. Logics and Meanings of Programs. Processor Architectures. Computer science. Microprocessors. Computers. Algorithms. Computer logic. Mathematics. Computer Science. Computation by Abstract Devices. Theory of Computation. Mathematics, general. Algorithm Analysis and Problem Complexity. Logics and Meanings of Programs. Processor Architectures. Rozenberg, Grzegorz. editor. SpringerLink (Online service) Advances in Petri Nets 1989 [electronic resource] / |
description |
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. |
format |
Texto |
topic_facet |
Computer science. Microprocessors. Computers. Algorithms. Computer logic. Mathematics. Computer Science. Computation by Abstract Devices. Theory of Computation. Mathematics, general. Algorithm Analysis and Problem Complexity. Logics and Meanings of Programs. Processor Architectures. |
author |
Rozenberg, Grzegorz. editor. SpringerLink (Online service) |
author_facet |
Rozenberg, Grzegorz. editor. SpringerLink (Online service) |
author_sort |
Rozenberg, Grzegorz. editor. |
title |
Advances in Petri Nets 1989 [electronic resource] / |
title_short |
Advances in Petri Nets 1989 [electronic resource] / |
title_full |
Advances in Petri Nets 1989 [electronic resource] / |
title_fullStr |
Advances in Petri Nets 1989 [electronic resource] / |
title_full_unstemmed |
Advances in Petri Nets 1989 [electronic resource] / |
title_sort |
advances in petri nets 1989 [electronic resource] / |
publisher |
Berlin, Heidelberg : Springer Berlin Heidelberg, |
publishDate |
1990 |
url |
http://dx.doi.org/10.1007/3-540-52494-0 |
work_keys_str_mv |
AT rozenberggrzegorzeditor advancesinpetrinets1989electronicresource AT springerlinkonlineservice advancesinpetrinets1989electronicresource |
_version_ |
1756268690820562944 |