Author:
Bouvier Pierre,Garavel Hubert
Publisher
Springer Nature Switzerland
Reference13 articles.
1. Lecture Notes in Computer Science;E Badouel,1998
2. Best, E., Devillers, R.R.: Synthesis and reengineering of persistent systems. Acta Inf. 52, 35–60 (2015)
3. Lecture Notes in Computer Science;P Bouvier,2021
4. Desel, J., Reisig, W.: The synthesis problem of Petri nets. Acta Inf. 33, 297–315 (1996)
5. Devillers, R.R.: Articulations and products of transition systems and their applications to Petri net synthesis. CoRR abs/2111.00202 (2021). https://arxiv.org/abs/2111.00202