Applications and theory of Petri nets: selected papers from the 3rd European Workshop on Application and Theory of Petri Nets, Varenna, Italy, September 27-30, 1982
Anastasia Pagnoni, Grzegorz Rozenberg
Springer, 1983 - Computers - 315 pages
13 pages matching place-invariants in this book
Results 1-3 of 13
What people are saying - Write a review
We haven't found any reviews in the usual places.
algorithm applications arcs B-equivalent behavioral equivalence behaviour CE-system coloured coloured Petri nets computable functions Computer Science concurrency pattern concurrent systems connected connector construction contains corresponding countable set D-continuity defined Definition denotational semantics denote diagram distributed system domain editor elements equation equivalence notions example Figure final markings finite automaton finite set firing sequence formal Genrich graph high-level Petri nets HL-net incidence matrix initial marking input inscriptions interface invariants labeled Lautenbach Lemma Lf(N linear S-invariants mapping matrix multirelations multisets nodes objects output PACKETs PACKETSEQ paper path component place-invariants posets PR-algorithm predicates primitive recursive functions processes proj Proof properties protocol PT-net quasi-interface reachable markings relation relation-net respectively result semantics sequential set of places Sf(M Sf(N skeleton specification structure subfield subset languages synchronic table TP Theorem theory token token-colours transformations tuples variables verified VERSION weakly computable weight-function