ترجمه فارسی عنوان مقاله
شبکه های پتری اعطای وام ☆
عنوان انگلیسی
Lending Petri nets ☆
کد مقاله | سال انتشار | تعداد صفحات مقاله انگلیسی |
---|---|---|
78597 | 2015 | 27 صفحه PDF |
منبع
Publisher : Elsevier - Science Direct (الزویر - ساینس دایرکت)
Journal : Science of Computer Programming, Volume 112, Part 1, 15 November 2015, Pages 75–101
ترجمه کلمات کلیدی
شبکه های پتری؛ قرارداد؛ منطق شهودی
کلمات کلیدی انگلیسی
Petri nets; Contracts; Intuitionistic Logic