A Note on Decidability of Reachability for Conditional Petri Nets.

Ferucio Laurentiu Tiplea Cristina Badarau

Published in: Acta Cybern. (2000)

Keyphrases

petri net
manufacturing systems
petri net model
description logics
discrete event systems
colored petri nets
high level petri nets
stochastic petri net
transitive closure
state space
service composition
ims ld
concurrent systems
discrete dynamical systems
cellular automata
fuzzy petri net