Abstract
We consider a two-player game on Petri nets, in which each player controls a subset of transitions. The players are called ‘user’ and ‘environment’; we assume that the environment must guarantee progress on its transitions. A play of this game is a run in the unfolding of the net, satisfying the progress assumption. In general, we define a strategy for the user as a map from the set of ‘observations’ to subsets of transitions owned by the user. Different restrictions on strategies can be used to encode observability assumptions. We say that a given strategy is implementable if the net can be endowed with new places so that the runs of the new net coincide with the plays of the original net, complying with the strategy. We propose an algorithm based on the search of regions to decide whether a strategy is implementable.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
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)
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
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
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
Cassandras, C.G., Lafortune, S.: Introduction to discrete event systems. Springer (2021). https://doi.org/10.1007/978-3-030-72274-6
Chen, Y., Pan, L., Li, Z.: Design of optimal supervisors for the enforcement of nonlinear constraints on petri nets. IEEE Trans. Autom. Sci. Eng. (2022)
Ehrenfeucht, A., Rozenberg, G.: Partial (set) 2-structures. part II: state spaces of concurrent systems. Acta Inf. 27(4), 343–368 (1990). https://doi.org/10.1007/BF00264612
Engelfriet, J.: Branching processes of Petri nets. Acta Inf. 28(6), 575–591 (1991). https://doi.org/10.1007/BF01463946
Ghaffari, A., Rezg, N., Xie, X.: Design of a live and maximally permissive Petri net controller using the theory of regions. IEEE Trans. Robot. Autom. 19(1), 137–141 (2003). https://doi.org/10.1109/TRA.2002.807555
Giua, A., DiCesare, F.: Petri net structural analysis for supervisory control. IEEE Trans. Robot. Autom. 10(2), 185–195 (1994)
Holloway, L.E., Krogh, B.H., Giua, A.: A survey of petri net methods for controlled discrete event systems. Discrete Event Dyn. Syst. 7(2), 151–190 (1997)
Iordache, M.V., Antsaklis, P.J.: Supervision based on place invariants: a survey. Discrete Event Dyn. Syst. 16(4), 451–492 (2006)
Lacerda, B., Lima, P.U.: Petri net based multi-robot task coordination from temporal logic specifications. Robot. Auton. Syst. 122, 103289 (2019)
Li, Z., Zhou, M., Jeng, M.: A maximally permissive deadlock prevention policy for FMS based on petri net siphon control and the theory of regions. IEEE Trans. Autom. Sci. Eng. 5(1), 182–188 (2008)
Murata, T.: Petri nets: properties, analysis and applications. Proc. IEEE 77(4), 541–580 (1989)
Pan, Y.L., Huang, Y.S., Jeng, M., Chung, S.L.: Enhancement of an efficient control policy for FMSs using the theory of regions and selective siphon method. Int. J. Adv. Manuf. Technol. 66(9), 1805–1815 (2013)
Ramadge, P.J., Wonham, W.M.: Supervisory control of a class of discrete event processes. SIAM J. Control. Optim. 25(1), 206–230 (1987)
Ramadge, P.J., Wonham, W.M.: The control of discrete event systems. Proc. IEEE 77(1), 81–98 (1989)
Rezg, N., Xie, X., Ghaffari, A.: Supervisory control in discrete event systems using the theory of regions. In: Discrete Event Systems, pp. 391–398. Springer (2000)
Rezig, S., Ghorbel, C., Achour, Z., Rezg, N.: PLC-based implementation of supervisory control for flexible manufacturing systems using theory of regions. Int. J. Autom. Control 13(5), 619–640 (2019)
Acknowledgement
The authors thank the anonymous reviewers for their valuable comments and suggestions. This work is supported by the Italian MUR.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2024 The Author(s), under exclusive license to Springer-Verlag GmbH, DE, part of Springer Nature
About this chapter
Cite this chapter
Adobbati, F., Bernardinello, L., Pomello, L., Stramare, R. (2024). Implementable Strategies for a Two-Player Asynchronous Game on Petri Nets. In: Koutny, M., Bergenthum, R., Ciardo, G. (eds) Transactions on Petri Nets and Other Models of Concurrency XVII. Lecture Notes in Computer Science(), vol 14150. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-68191-6_8
Download citation
DOI: https://doi.org/10.1007/978-3-662-68191-6_8
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-68190-9
Online ISBN: 978-3-662-68191-6
eBook Packages: Computer ScienceComputer Science (R0)