همزمان سازی مدل سازی با ردیابی فاصله

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