+612 9045 4394
 
CHECKOUT
Advances in Petri Nets 1989 : Lecture Notes in Computer Science - Grzegorz Rozenberg

Advances in Petri Nets 1989

Lecture Notes in Computer Science

By: Grzegorz Rozenberg (Editor)

Paperback Published: 4th April 1990
ISBN: 9783540524946
Number Of Pages: 528

Share This Book:

Paperback

$169.73
or 4 easy payments of $42.43 with Learn more
Ships in 5 to 9 business days

Diese erste Veröffentlichung über den Stand der Projekte zur Erforschung des menschlichen Genoms setzt sich kritisch mit den ethischen Aspekten der Genomanalyse und Gentherapie in der Humanmedizin auseinander. Führende Experten stellen die breite Vielfalt der ethischen, medizinischen und politischen Bewertungspositionen für eine der erfolgversprechendsten und umstrittensten Entwicklungen der modernen biomedizinischen Forschung vor. Im Mittelpunkt der Darstellung steht die Diskussion um die Erweiterung der pränatalen Diagnose und die mögliche Entwicklung einer Prädiktivmedizin mit langfristiger Prognostik; weitere Schwerpunkte bilden die Auseinandersetzungen der Tarifpartner um die Rolle der Genomanalyse in der Arbeitsmedizin sowie die Bedenken um das Wiederaufleben einer eugenischen Ideologie und die Bewertung der Unterschiede zwischen somatischer Gentherapie und Keimbahntherapie in der Humanmedizin. Das Buch wendet sich vor allem an Forscher, Ethiker und Politiker, aber auch an diejenigen Leser, die sich mit den ethischen und kulturellen Aspekten der Anwendung der Gentechnik am Menschen auseinandersetzen wollen.

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(R): 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.

ISBN: 9783540524946
ISBN-10: 3540524940
Series: Lecture Notes in Computer Science
Audience: General
Format: Paperback
Language: English
Number Of Pages: 528
Published: 4th April 1990
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 2.74
Weight (kg): 0.74