Comparison of encoding schemes for symbolic model checking of bounded petri nets

Abstract

Petri nets are a graph based formalism used for modelling concurrent systems. Binary Decision Diagrams or Multi-Valued Decision Diagrams can be used in the analysis of systems modelled by Petri nets. An encoding scheme is required to be able to map the Petri net state to decision diagram values. Various encodings like One-hot scheme, Logarithmic scheme and… (More)

38 Figures and Tables

Topics

  • Presentations referencing similar topics