Open AccessHow to find Invariants for Coloured Petri Nets
Author(s) -
Kurt Villads Jensen
Publication year - 1983
Publication title -
daimi pb
Language(s) - English
Resource type - Journals
eISSN - 2245-9316
pISSN - 0105-8517
DOI - 10.7146/dpb.v9i120.6538
Subject(s) - petri net , incidence matrix , transformation (genetics) , set (abstract data type) , stochastic petri net , petri dish , process architecture , computer science , matrix (chemical analysis) , invariant (physics) , algebra over a field , mathematics , theoretical computer science , discrete mathematics , pure mathematics , algorithm , programming language , engineering , biology , mathematical physics , biochemistry , genetics , materials science , structural engineering , node (physics) , composite material , gene
This paper shows how invariants can be found for coloured Petri nets. We define a set of transformation rules, which can be used to transform the incidence-matrix, without changing the set of invariants.