Petr Jancar All action-based behavioural equivalences are undecidable for labelled Petri nets. 1995 56 Bulletin of the EATCS db/journals/eatcs/eatcs56.html#Jancar95