What people are saying - Write a review
We haven't found any reviews in the usual places.
INTRODUCTION TO GENERAL NET THEORY
ELEMENTS OF GENERAL NET THEORY
Information Flow in ConditionEvent Systems
37 other sections not shown
Other editions - View all
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