Interval semantics for Petri nets with inhibitor arcs

معانی واژگانی شبکه های ابتدایی پتری با آرک های مهار کننده مورد بحث قرار گرفته است. ابتدا معانی عملیاتی از نظر نظم فاصله ارائه شده است و بعد مفهوم فرآیند فاصله را معرفی، مورد بحث قرار داده و برای توصیف همزمان داستان های چنین شبکه ها استفاده می شود. نشان داده شده است که معانی فرآیند فواصل معادل معادله های پیش بینی بازه معادل معادل است. همچنین ثابت شده است که اگر معانی عملیاتی محدود به دستورات طبقه بندی شده (به عنوان مثال توالی های مرحله)، مدل پیشنهادی معادل مدل هایی است که بر اساس فرایندهای مرحله و ترتیبی است.