Logical PetriNet A Tool to Model Digital Circuit Petri Nets and Transform them into Digital Circuits.

Christoph Brandau Dietmar Tutsch

Published in: MMB (2018)

Keyphrases

digital circuits
petri net
petri net model
manufacturing systems
model based diagnosis
finite state machines
conceptual model
high level petri nets
functional decomposition
colored petri nets
control system
low cost
stochastic petri net