Factorisation of Petri Net Solvable Transition Systems

Raymond R. Devillers, Uli Schlachter. Factorisation of Petri Net Solvable Transition Systems. In Victor Khomenko, Olivier H. Roux, editors, Application and Theory of Petri Nets and Concurrency - 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings. Volume 10877 of Lecture Notes in Computer Science, pages 82-98, Springer, 2018. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.