Undecidability of Bisimilarity for Petri Nets and Some Related Problems.

Published in: Theor. Comput. Sci. (1995)

Keyphrases

petri net
related problems
description logics
petri net model
manufacturing systems
discrete event systems
fuzzy petri net
service composition
high level petri nets
ims ld
process model
state machines
colored petri nets
discrete dynamical systems
neural network
expert systems
knowledge base