صفحهٔ اصلی گشت‌و‌گذار راهنما
ورود
yentl
/
modelverse
دنبال کردن 3
ستاره دار 3
انشعاب 6
پرونده‌ها مشکلات 4 درخواست واکشی 0 ویکی
درخت: 7a47f6f338
شاخه‌ها تگ‌ها

تاریخچه Commit ها

نویسنده SHA1 پیام تاریخ
  Yentl Van Tendeloo 2bd562bb6a Fixed PM and related formalisms/algorithms: reachability starts running 8 سال پیش
  Yentl Van Tendeloo 83f9424d0e Added simple PM for petri net construction and reachability analysis 8 سال پیش