presented at event 40th International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS) Conference
keywords Computer Science Computer Science, Software Engineering Computer Science, Theory & Methods Petri net REVERSIBILITY Reversible computation Science & Technology Step semantics Technology