Login / Signup
All action-based behavioural equivalences are undecidable for labelled Petri nets.
Petr Jancar
Published in:
Bull. EATCS (1995)
Keyphrases
</>
petri net
petri net model
manufacturing systems
discrete event systems
fuzzy petri net
high level petri nets
colored petri nets
state machines
service composition
ims ld
neural network
process model
sequence diagrams
reactive systems
concurrent systems
discrete dynamical systems