Rondogiannis, Panagiotis2024-08-152024-08-1519911991https://hdl.handle.net/1828/1950475 pagesAvailable to the World Wide WebDetecting deadlocks in CCS agents using Petri net reduction techniquesThesis