Abstract
In the paper, a “truly concurrent” and nondeterministic semantics is defined in terms of branching processes of discrete-time Petri nets (DTPNs). These nets may involve infinite numbers of transitions and places, infinite number of tokens in places, and (maximal) steps of concurrent transitions, which allows us to consider this class of DTPNs to be the most powerful class of Petri nets. It is proved that the unfolding (maximal branching process) of the DTPN is the greatest element of a complete lattice constructed on branching processes of DTPNs with step semantics. Moreover, it is shown that this result is true also in the case of maximal transition steps if additional restrictions are imposed on the structure and behavior of the DTPN.
Similar content being viewed by others
References
Nielsen, M., Plotkin, G.D., and Winskel, G., Petri nets, event structures and domains, Part I, Theor. Comput. Sci., 1981, vol. 13, no. 1, pp. 85–108.
Engelfriet, J., Branching processes of Petri nets, Acta Informatica, 1991, vol. 28, no. 6, pp. 575–591.
Meseguer, J., Montanari, U., and Sassone, V., On the semantics of place/transition Petri nets, Math. Structures Comput. Sci., 1997, vol. 7, no. 4, pp. 359–397.
Couvreur, J., Poitrenaud, D., and Weil, P., Branching processes of general Petri nets, Fundamenta Informaticae, 2013, vol. 122, pp. 31–58.
McMillan, K.I., A technique of a state space search based on unfolding, Formal Methods System Design, 1995, vol. 6, no. 1, pp. 45–65.
Baldan, P., Bruni, A., Corradini, A., Koenig, B., Rodriguez, C., and Schwoon, S., Efficient unfolding of contextual Petri nets, Theor. Comput. Sci., 2012, vol. 449, pp. 2–22.
Bergenthum, R., Mauser, R., Lorenz, S., and Juhas, G., Unfolding semantics of Petri nets based on token flows, Fundamenta Informaticae, 2009, vol. 94, nos 3–4, pp. 331–360.
Bonet, B., Haslumb, P., Khomenko, V., Thiebauxb, S., and Vogler, W., Recent advances in unfolding technique, Theor. Comput. Sci., 2014, vol. 551, pp. 84–101.
Esparza, J., Model checking using net unfoldings, Sci. Comput. Program., vol. 23, nos. 2–3, pp. 151–195.
Bonet, B., Haslumb, P., Hickmott, S., and Thiebauxb, S., Directed unfolding of Petri nets, Lect. Notes Comp. Sci., vol. 5100, no. 2008, pp. 172–198.
Hickmott, S., Rintanen, J., Thiebaux, S., and White, L., Planning via Petri net unfolding, Proc. of 20th Int. Joint Conf. on Artificial Intelligence, 2007, pp. 1904–1911.
Baldan, P., Haar, S., and Koenig, B., Distributed unfolding of Petri nets, Lect. Notes Comp. Sci., 2006, vol. 3921, pp. 126–141.
Benveniste, A., Fabre, E., Jard, C., and Haar, S., Diagnosis of asynchronous discrete event systems, a net unfolding approach, IEEE Trans. Automatic Control, 2003, vol. 48, no. 5, pp. 714–727.
Chatain, T. and Jard, C., Time supervision of concurrent systems using symbolic unfoldings of time Petri nets, Lect. Notes Comp. Sci., 2005, vol. 3829, pp. 196–210.
Fleischhack, H. and Pelz, E., Hierarchical timed high level nets and their branching processes, Lect. Notes Comp. Sci., 2003, vol. 2679, pp. 397–416.
Fleischhack, H. and Stehno, Ch., Computing a finite prefix of a time Petri net, Lect. Notes Comp. Sci., 2002, vol. 2360, pp. 163–181.
Aura, T. and Lilius, J., Time processes for time Petri nets, Lect. Notes Comp. Sci., 1997, vol. 1248, pp. 136–155.
Valero, V., de Frutos, D., and Cuartero, F., Timed processes of timed Petri nets, Lect. Notes Comp. Sci., 1995, vol. 935, pp. 490–509.
Khomenko, V., Koutny, M., and Vogler, W., Canonical prefixes of Petri net unfoldings, Acta Informatica, 2003, vol. 40, no. 2, pp. 95–118.
Popova-Zeugmann, L., Time and Petri nets, Berlin: Springer, 2013.
Author information
Authors and Affiliations
Corresponding author
Additional information
Original Russian Text © I.B. Virbitskaite, V.A. Borovlev, L. Popova-Zeugmann, 2016, published in Programmirovanie, 2016, Vol. 42, No. 4.
Rights and permissions
About this article
Cite this article
Virbitskaite, I.B., Borovlev, V.A. & Popova-Zeugmann, L. “Truly concurrent” and nondeterministic semantics of discrete-time Petri nets. Program Comput Soft 42, 187–197 (2016). https://doi.org/10.1134/S0361768816040071
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S0361768816040071