Advances in Petri Nets 1989

Häftad, Engelska, 1990

Del i serien Lecture Notes in Computer Science

556 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

This is the latest in a series of volumes presenting recent results on Petri nets to the general computer science community. The papers are selected and prepared to present results which are the most representative and significant for the development of the area.

Produktinformation

Utgivningsdatum:1990-04-04
Mått:155 x 235 x 29 mm
Vikt:803 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:528
Upplaga:1990
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540524946

Utforska kategorier

Systemvetenskap och AI inom Data och IT
Matematik inom Naturvetenskap och teknik

Innehållsförteckning

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.

Du kanske också är intresserad av

Comparison of Probabilistic Unfolding Theories for Paired Comparisons Data

Patrick Bossuyt

Häftad, 1990

1 139 kr

Restructuring: Place, Class and Gender

Paul Bagguley, Jane Mark-Lawson, Dan Shapiro

Inbunden, 1990

3 803 kr

Self-Concept

Louis Oppenheimer

Häftad, 1990

1 075 kr

Chemical Applications of Group Theory

F. Albert Cotton

Inbunden, 1990

2 582 kr

Discipleship of the Mind

James W. Sire

Häftad, 1990

362 kr

Del 1423

Stable Homotopy Groups of Spheres

Stanley O. Kochman

Häftad, 1990

446 kr

Trees and Hierarchical Structures

Andreas Dress, Arndt van Haeseler

Häftad, 1990

556 kr

Computer Vision - ECCV 90

Olivier Faugeras

Häftad, 1990

1 106 kr

Del 339

Estimation of Dynamic Econometric Models with Errors in Variables

Jaime Terceiro Lomba

Häftad, 1990

573 kr

Ausnahmebehandlung in objektorientierten Programmiersprachen

Christiane Feder

Häftad, 1990

589 kr

Advances in Petri Nets 1989

AvGrzegorz Rozenberg

Häftad, Engelska, 1990

Del i serien Lecture Notes in Computer Science

556 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

Produktinformation

Utgivningsdatum:1990-04-04
Mått:155 x 235 x 29 mm
Vikt:803 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:528
Upplaga:1990
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540524946

Utforska kategorier

Systemvetenskap och AI inom Data och IT
Matematik inom Naturvetenskap och teknik

Innehållsförteckning

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.