Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Adobbati, F., Bernardinello, L., Pomello, L.: A two-player asynchronous game on fully observable Petri nets. Trans. Petri Nets Other Model. Concurr. 15, 126–149 (2021)
2. Adobbati, F., Bernardinello, L., Pomello, L.: Looking for winning strategies in two-player games on Petri nets with partial observability (2022). https://doi.org/10.48550/ARXIV.2204.01603
3. Adobbati, F., Bernardinello, L., Pomello, L., Stramare, R.: Implementable strategies for a two-player asynchronous game on Petri nets. In: Algorithms and Theories for the Analysis of Event Data, Bergen, Norway, pp. 69–75. CEUR-WS.org (2022). https://ceur-ws.org/Vol-3167/paper5.pdf
4. Badouel, E., Bernardinello, L., Darondeau, P.: Petri Net Synthesis. Texts in Theoretical Computer Science. An EATCS Series. Springer (2015). https://doi.org/10.1007/978-3-662-47967-4
5. Cassandras, C.G., Lafortune, S.: Introduction to discrete event systems. Springer (2021). https://doi.org/10.1007/978-3-030-72274-6