Jerzy Biernacki

Learn More
A 38-year-old man was in a state of poor oral hygiene, with multiple broken carious teeth and diffuse inflammatory hyperplasia of the gingival tissues. A mandibular, alveolar soft tissue mass in the premolar-molar region was noted on the right side, in continuity with the gingival hyperplasia. Biopsy of the lesion ruled out a diagnosis of squamous cell(More)
The paper deals with the problem of translation of reachability graphs for place-transition and coloured Petri nets into the NuSMV language. The translation algorithms presented in the paper have been implemented as a part of the PetriNet2NuSMV tool so the translation is made automatically. The PetriNet2Nu-SMV tool works with reachability graphs generated(More)