@InCollection{Maliński:2024,
author
=
"M.Maliński and M.Wojnakowski and R.Wiśniewski and A.Obuchowicz",
title
=
"Transition Invariants in the Analysis of Concurrent Systems Modelled by Petri Nets",
pages
=
"269--279",
year
=
"2024",
booktitle
=
"Technological Innovation for Human-Centric Systems15th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2024, Caparica, Portugal, July 3-5, 2024, Proceedings ISBN: 9783031638510",
publisher
=
"Springer Link",
address
=
"Cham",
series
=
"IFIP Advances in Information and Communication Technology, 716",
}