Theoretical researches use an axiom

Theoretical researches use an axiomatic approach6 that can hardly be used for practical application. Concurrent
processes are sometimes described using Petri networks7 where the main focus is on the correctness of processes.
The theoretical researches are out of the scope of this paper.

ผลลัพธ์ (ไทย) 1:

งานวิจัยทฤษฎีใช้เป็น approach6 ซึ่งเป็นจริงที่แทบไม่สามารถใช้สำหรับการทำงาน เกิดขึ้นพร้อมกันกระบวนการนั้นอาจอธิบายใช้ Petri networks7 ที่โฟกัสหลักถูกต้องของกระบวนการงานวิจัยทฤษฎีอยู่นอกขอบเขตของเอกสารนี้

ผลลัพธ์ (ไทย) 2:

งานวิจัยเชิงทฤษฎีใช้ approach6 จริงที่แทบจะไม่สามารถนำมาใช้สำหรับการประยุกต์ใช้ในทางปฏิบัติ พร้อมกัน
กระบวนการบางครั้งอธิบายโดยใช้ Petri networks7 ที่เน้นหลักอยู่บนความถูกต้องของกระบวนการ.
งานวิจัยทางทฤษฎีจะออกจากขอบเขตของบทความนี้

ผลลัพธ์ (ไทย) 3:

งานวิจัยเชิงทฤษฎีใช้สัจพจน์ approach6 ที่แทบจะไม่สามารถใช้สำหรับการประยุกต์ใช้ในทางปฏิบัติ ที่เกิดขึ้นพร้อมกันกระบวนการบางครั้งอธิบายการใช้ Petri networks7 ที่เน้นหลักคือความถูกต้องของกระบวนการงานวิจัยเชิงทฤษฎีจะออกจากขอบเขตของบทความนี้