Testing Undecidability of the Reachability in Petri Nets with the Help of 10th Hilbert Problem.

Piotr Chrzastowski-Wachtel

Published in: ICATPN (1999)

Keyphrases

petri net
discrete event systems
manufacturing systems
petri net model
ims ld
stochastic petri net
description logics
colored petri nets
discrete dynamical systems
transitive closure
fuzzy petri net
test cases
state machines
programmable logic controller