Advances in Petri nets : APN / 1987 Oxford, Great Britain, June 1986

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. Stochastic Petri nets: An elementary introduction....Pages 1-29 Improving the efficiency of the analysis of DSPN models....Pages 30-50 Synchronized elementary net systems....Pages 51-76 Descriptive and analytical process algebras....Pages 77-104 P/T-systems as abstractions of C/E-systems....Pages 105-127 The semantics of capacities in P/T nets....Pages 128-150 Petri net tool overview 1989....Pages 151-178 Equivalence transformations of PrT-Nets....Pages 179-208 A reduction theory for coloured nets....Pages 209-235 Optimizing microprograms for recurrent loops on pipelined architectures using timed Petri nets....Pages 236-261 S-CORT®: A method for the development of electronic payment systems....Pages 262-280 Timed Petri nets and application to multi-stage production systems....Pages 281-305 Petri net systems and their closure properties....Pages 306-328 Occam and the transputer....Pages 329-353 About the concurrent behaviour of EN systems: Definability and closure results....Pages 354-373 Petri nets and flexible manufacturing....Pages 374-417 Some properties of timed nets under the earliest firing rule....Pages 418-432 A comparative study of different techniques for semi-flows computation in place/transition nets....Pages 433-452 Elementary net systems and dynamic logic....Pages 453-466 Representation of a swapping class by one net....Pages 467-486 Design methods based on nets....Pages 487-506 CEDISYS compositional distributed systems state of the art, research goals, references....Pages 507-524 Annotation 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 Contains the proceedings of the 1986 Advanced Course on Petri Nets in Bad Honnef. This title discusses tools supporting the design of petri nets as well as their modification and analysis. It covers the relationship of petri nets to other concurrency models. It presents the results in the application and theory of petri nets.