## Net theory and applications: proceedings of the Advance Course on General Net Theory of Processes and Systems, Hamburg, October 8-19, 1979 |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

INTRODUCTION TO GENERAL NET THEORY | 1 |

ELEMENTS OF GENERAL NET THEORY | 24 |

Information Flow in ConditionEvent Systems | 39 |

Copyright | |

37 other sections not shown

### Other editions - View all

Net Theory and Applications: Proceedings of the Advanced Course on General ... W. Brauer No preview available - 2014 |

### Common terms and phrases

abstraction algorithm application arcs arrows atomic actions axioms basic graph behaviour bp-system called CE-system components Computer Science concept concurrent concurrent systems condition/event-systems connected corresponding cycle deadlock defined definition denoted described diagram dialog directed graph elements equivalent error example exists Figure finite firing sequence formal functions given GRAFCET GRO-paths implementation incidence matrix information flow initial marking input places integer interpretation K-denslty labelled live logic marking graph morphisms Newcastle upon Tyne node notion occurrence graph operation output parallel path Petri nets predicate predicate logic Pro-Net problem proof properties proposition propositional logic PT-net reduction relation representation represented réseaux de Petri result rule S-invariant scenario SD-net semantics semilinear shown in fig shows Sifakis simulation strict partial order structure subset synchronization graph T-completion T-element theorem theory token transformed transition transition rule variables vector