Bernard Berthomieu advice
Bernard Berthomieu advice

the check of marking with Tina has been simplified: instead of building the entire marking graph with SIFT and analyzing it with MUSE now we use SIFT on-fly search with -f key and negative condition "-p125" that allows to print the found marking as well
dazeorgacm/depn