Advances in Petri Nets 1989 | Taschenbuch

Cover: 9783540524946 | Advances in Petri Nets 1989 | Grzegorz Rozenberg | Taschenbuch | viii

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

50,90 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 2-4 Werktage

Kategorien:

Der Artikel ist nicht in deutscher Sprache verfasst.
Die Sprache der Produktbeschreibung und Details kann in Englisch angegeben sein. Sollten Sie Verständnisprobleme haben, wenden Sie sich gerne an uns.

Beschreibung

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.

Inhaltsverzeichnis

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.

Details

Erscheinungsjahr:	1990
Fachbereich:	Datenkommunikation, Netze & Mailboxen
Genre:	Informatik , Mathematik , Medizin , Naturwissenschaften , Technik
Rubrik:	Naturwissenschaften & Technik
Medium:	Taschenbuch
Inhalt:	viii 528 S.
ISBN-13:	9783540524946
ISBN-10:	3540524940
Sprache:	Englisch
Einband:	Kartoniert / Broschiert
Redaktion:	Rozenberg, Grzegorz
Herausgeber:	Grzegorz Rozenberg
Hersteller:	Springer-Verlag GmbH Springer Berlin Heidelberg
Verantwortliche Person für die EU:	Springer Verlag GmbH, Tiergartenstr. 17, D-69121 Heidelberg, juergen.hartmann@springer.com
Maße:	235 x 155 x 29 mm
Von/Mit:	Grzegorz Rozenberg
Erscheinungsdatum:	04.04.1990
Gewicht:	0,803 kg

Artikel-ID: 102140688

Inhaltsverzeichnis

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.

Details

Erscheinungsjahr:	1990
Fachbereich:	Datenkommunikation, Netze & Mailboxen
Genre:	Informatik , Mathematik , Medizin , Naturwissenschaften , Technik
Rubrik:	Naturwissenschaften & Technik
Medium:	Taschenbuch
Inhalt:	viii 528 S.
ISBN-13:	9783540524946
ISBN-10:	3540524940
Sprache:	Englisch
Einband:	Kartoniert / Broschiert
Redaktion:	Rozenberg, Grzegorz
Herausgeber:	Grzegorz Rozenberg
Hersteller:	Springer-Verlag GmbH Springer Berlin Heidelberg
Verantwortliche Person für die EU:	Springer Verlag GmbH, Tiergartenstr. 17, D-69121 Heidelberg, juergen.hartmann@springer.com
Maße:	235 x 155 x 29 mm
Von/Mit:	Grzegorz Rozenberg
Erscheinungsdatum:	04.04.1990
Gewicht:	0,803 kg