طراحی یک مکانیسم جدید با استفاده از Petri net برای مدل سازی ساعت

زمان مفهوم مهمی در مدل سازی سیستم ها است و بدون امکان مدل سازی زمان امکان ارزیابی جنبه های عملیاتی و وابسطه به زمان سیستم ها وجود نخواهد داشت اما وارد نمودن زمان به شبکه های پتری امری بحث برانگیز بوده و عده ای اعتقاد به آن نداشته و ندارند.اندازه گیری زمان در سیستم های توزیع شده نیازمند همگام سازی synchronization بر مبنای یک ساعت سراسری global است. وابستگی های اتفاقی casual dependencies در یک شبکه پتری بیانگر مساوی بودن زمان است و عدم وابستگی independency شکلی از توازنparallelism یا همروندی concurrency بیان می کند. یکی از روش های مدلسازی استفاده از شبکه های پتری است که در این مقاله به بیان عملکرد آن می پردازیم روش تجزیه و تحلیل در این پروسه شبکه پتری نت رنگی می باشد. و برای این مدل از نرم افزار CPN tools استفاده شده است.