Report - Decidability problems in Petri nets with names and replication€¦ · Matematicas ´ Pza. de las ... Tokens in ν-PN are pure names, that can be created fresh, moved along thenet

Please pass captcha verification before submit form