Del 188 - Lecture Notes in Computer Science

Advances in Petri Nets 1984

Häftad, Engelska, 1985

Av G. Rozenberg

699 kr

Beställningsvara. Skickas inom 10-15 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1985-03-01
Mått155 x 235 x 26 mm
Vikt721 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor472
Upplaga1985
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540152040

Tillhör följande kategorier

Programvaruutveckling inom Data och it
Hårdvara inom Data och it

PSI: A petri net based simulator for flexible manufacturing systems.- Modelling and validation of complex systems by coloured petri nets application to a flexible manufacturing system.- Concurrency axioms and D-continuous posets.- Frozen tokens and D-continuity: A study in relating system properties to process properties.- Modelling scheduling problems with timed petri nets.- Infinite behaviour and fairness in petri nets.- Petri net based models for the specification and validation of protocols.- A note on observable occurrence nets.- A lattice theoretic view of K-density.- Fair serializability of iterated transactions using fifo-nets.- Csp-programs as nets with individual tokens.- Design and programming of interfaces for monetic applications using petri nets.- Towards reachability trees for high-level petri nets.- The residue of vector sets with applications to decidability problems in petri nets.- The design of a program package for an introductory petri net course.- On communication protocol modelling and design.- On structural properties of generalized processes.- Stepwise construction of non-sequential software systems using a net-based specification language.- Liveness and duality in marked-graph-like predicate/transition nets.- Semantics of concurrent systems: A modular fixed-point trace approach.- The reachability problem for VAS.- K-density, N-density, and finiteness properties.- A net model of a local area network protocol.- In praise of free choice nets.- Computation of flows for unary-predicates/transitions-nets.

Du kanske också är intresserad av

L Systems

Del 15

L Systems

G. Rozenberg, A. Salomaa

449 kr

Book of L

Book of L

G. Rozenberg, A. Salomaa

1 459 kr

Decade of Concurrency: Reflections and Perspectives

Del 803

Decade of Concurrency: Reflections and Perspectives

J.W.de Bakker, W.-P.de Roever, G. Rozenberg, J. W. De Bakker, W. -P De Roever, W. -P. de Roever

1 459 kr

Beyond Words

Beyond Words

G. Rozenberg, Grzegorz Rozenberg, Arto Salomaa

1 169 kr

Graph-Grammars and Their Application to Computer Science and Biology

Del 73

Graph-Grammars and Their Application to Computer Science and Biology

Volker Claus, Harmut Ehrig, G. Rozenberg, V. Claus, H. Ehrig

739 kr

Foundations of Object-Oriented Languages

Del 489

Foundations of Object-Oriented Languages

J.W. de Bakker, W.P. de Roever, G. Rozenberg, J. W. De Bakker, W. P. De Roever

739 kr

Applications and Theory of Petri Nets

Applications and Theory of Petri Nets

A. Pagnoni, G. Rozenberg

1 459 kr

Real-Time: Theory in Practice

Del 600

Real-Time: Theory in Practice

J.W.de Bakker, C. Huizing, W.P.de Roever, G. Rozenberg, J. W. De Bakker, W. P. De Roever

1 459 kr

Semantics: Foundations and Applications

Del 666

Semantics: Foundations and Applications

J.W.de Bakker, W.-P.de Roever, G. Rozenberg, J. W. De Bakker, W. -P De Roever, W. -P. de Roever

1 459 kr

Hon som blev kvar

4 pocket för 3

Hon som blev kvar

125 kr