Petri net formalism, however, puts

Petri net formalism, however, puts restrictions on behavior of its models. The one that strongly affects the design of the libraryand presents significant challenge,concernsbehaviorof tokens. Tokens in TCPN are immutable similarly to symbols in functional languages. Presented solution must correspond to this demand, to ensure correct behavior of TCPN model. This requirement must be reconciled with the need to put almost arbitrary object as token value, as mentioned above.

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

Petri formalism สุทธิ ทำให้ข้อจำกัดอย่างไรก็ตาม ในลักษณะการทำงานของรุ่น มีผลต่อการออกแบบของ libraryand ขอนำเสนอความท้าทาย significant สัญญาณ concernsbehaviorof โทเคนใน TCPN พระองค์คล้ายกับสัญลักษณ์ในภาษาที่ทำงานได้ โซลูชั่นที่นำเสนอต้องสอดคล้องกับความต้องนี้ เพื่อให้แน่ใจว่าพฤติกรรมที่ถูกต้องของแบบจำลอง TCPN ข้อกำหนดนี้ต้องปรับยอด ด้วยต้องใส่วัตถุเกือบจะกำหนดเป็นค่าโทเค็น ดังกล่าวข้างต้น

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

Petri พิธีสุทธิ แต่ทำให้ข้อ จำกัด ในการทำงานของรุ่นของ หนึ่งที่มีผลต่อการขอการออกแบบของ libraryand นำเสนอความท้าทายที่มีนัยสำคัญลาดเทสัญญาณ concernsbehaviorof ราชสกุลใน TCPN จะไม่เปลี่ยนรูปคล้ายกับสัญลักษณ์ในภาษาทำงาน วิธีการแก้ปัญหาที่นำเสนอจะต้องสอดคล้องกับความต้องการนี​​้เพื่อให้แน่ใจว่าพฤติกรรมที่ถูกต้องของรูปแบบ TCPN ข้อกำหนดนี้จะต้องกระทบกับความจำเป็นที่จะนำวัตถุพลเกือบเป็นค่าโทเค็นดังกล่าวข้างต้น

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

Petri net แบบ อย่างไรก็ตาม ทำให้ข้อ จำกัด เกี่ยวกับพฤติกรรมของแบบจำลองของ คนที่ขอต่อการออกแบบของ libraryand เสนอ signi จึงไม่สามารถท้าทาย concernsbehaviorof สัญญาณ สัญญาณใน tcpn จะไม่เปลี่ยนแปลง เช่นเดียวกับสัญลักษณ์ในภาษามากขึ้น โซลูชั่นที่นำเสนอต้องสอดคล้องกับความต้องการนี้ เพื่อให้แน่ใจว่าพฤติกรรมที่ถูกต้องของรูปแบบ tcpn .ความต้องการนี้จะต้องคืนดีกับต้องใส่เกือบหนึ่งวัตถุเป็นค่าสัญญาณดังกล่าวข้างต้น