Concepedia
Information Processing Letters · 1980 · 46 citations · 1 references
ComputingComputer SystemsComputer NetworksPetri NetsColored Petri NetsPetri Net AnalysisPetri Net Semantics
1
Coloured petri nets and the invariant-method
Kurt Jensen · Theoretical Computer Science · 1981 · 611 citations
Computing, Computer Systems, Formal Methods +4