Abstract: In this paper, we present new software for modeling distributed systems using the Petri net apparatus. Described main capabilities of software as follows: modeling extended Petri net models, ...

Abstract: Deep vein thrombosis (DVT) is a prevalent medical condition. For pulmonary embolism to prevent potentially fatal acute consequences, an accurate identification of deep vein thrombosis is ...