[1] BinWang, MaodeMa: A Server Inde

[1] BinWang, MaodeMa: A Server Independent Authentication Scheme for RFID Systems. IEEE Trans. on Industrial Informatics, vol. 8, no. 3, pp. 689-696, Aug 2012.

[2] Dec G, Je¸drzejec B, Rza¸sa W.: Kolorowana sie´c Petriego jako model systemu podejmowania decyzji kredytowej. STUDIA INFORMATICA 2010, Vol. 31, Number 2A (89), 2010.

[3] Christensen S, Jorgensen J. B., Kristensen L., M.: Tools and Algorithms for the Construction and Analysis of Systems Lecture Notes in Computer Science Volume 1217, 1997, pp 209-223 Design/CPN—A computer tool for Coloured Petri Nets

[4] Cooper J. W.: The Design Patterns Java Companion, 1998

[5] Gallasch G., Kristensen L. M.: COMMS/CPN: A communication infrastructure for external communication with Design/CPN. In K. Jensen, editor, Third Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, DAIMI PB-554, pages 75–91. Department of Computer Science, University of Aarhus, Denmark, 2001.

[6] Jensen K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Vol. 1, 2, 3. EATCSMonographs on Theoretical Computer Science, Springer-Verlag, 1994.

[7] Jensen K., Kristensen L. M., Wells L.: Coloured Petri Nets and CPN Tools for Modelling and Validation of Concurrent Systems. International Journal on Software Tools for Technology Transfer (STTT)9(3-4), pp. 213-254, 2007.

[8] Mortensen, K. H. Efficient Data-Structures and Algorithms for a Coloured Petri Nets Simulator. In: Kurt Jensen (Ed.): 3rd Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (CPN’01), pages 57–74. DAIMI PB-554, Aarhus University, August 2001.

[9] Murata T.: Petri Nets: Properties, Analysis and Applications. Proc. of the IEEE, vol. 77, No. 4, April 1989

[10] Ratzer A.V., Wells L., Lassen H. M., Laursen M., Qvortrup J. F., Stissing M. S., Westergaard M., Christensen S., Jensen K.: CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets. Proc. of 24th International Conference on Applications and Theory of Petri Nets (Petri Nets 2003). Lecture Notes in Computer Science 2679, pp. 450462, Springer-Verlag Berlin, 2003.

[11] Lv Y., Lee C., Wu Z., Chan H., Ip W.: Priority based Distributed Manufacturing Process Modeling via Hierarchical Timed Colored Petri Net". IEEE Trans. on Industrial Informatics, (to be published).

[12] Rza¸sa W.: Combining Timed Colored Petri Nets and Real TCP Implementation to Reliably Simulate Distributed Applications. CN 2009, CCIS 39, pp. 79-86, 2009, Eds. A. Kwiecie´n, P. Gaj, and P. Stera.

[13] Rza¸sa W.: Timed Colored Petri Net Based Estimation of Efficiency of the Grid Applications. PhD thesis. AGH University of Science and Technology, Faculty of Electrical Engineering, Automatics, Computer Science and Electronics, 2011, Kraków, Poland.

[14] Rza¸sa W., Bubak M.: Simulation Method Supporting Development of Parallel Applications for Grids. In proc. of CGW’10, pp. 194–201, KrakÃłw 2011, ISBN 978-83-61433-03-3.

[15] Rzo´nca D., Stec A., Trybus B.: Data Acquisition Server for Mini Distributed Control System, w: KwiecieÅˇD A., Gaj P., Stera P. (Eds.): Computer Networks 2011, Communications in Computer and Information Science 160, Springer-Verlag Berlin Heidelberg 2011, pp. 398-406.

[16] Weber M.:, Kindler E.: The Petri Net Kernel. Petri Net Technology for Communication-Based Systems Lecture Notes in Computer Science Volume 2472, 2003, pp 109–123

[17] Westergaard M., Kristensen L. M.: The Access/CPN Framework: A Tool for Interacting with the CPN Tools Simulator. Applications and Theory of Petri Nets Lecture Notes in Computer Science Volume 5606, 2009, pp 313–322

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

[1] หวู่ MaodeMa: เซิร์ฟเวอร์ตรวจสอบอิสระแผนสำหรับระบบ RFID โอนย้าย IEEE ในอุตสาหกรรมสารสนเทศศาสตร์ ปี 8, 3 หมายเลข นำ 689-696, 2012 ส.ค.[2] ธันวาคม G, Je¸drzejec B, Rza¸sa W.: Kolorowana sie´c Petriego jako รุ่น systemu podejmowania decyzji kredytowej STUDIA INFORMATICA 2010 ปี 31, 2A เลข (89), 2010[3] S คริสเตนเซ่น จอร์เจนเซน J. B., Kristensen L., M.: เครื่องมือและอัลกอริทึมสำหรับการก่อสร้างและการวิเคราะห์ของระบบการสอนในคอมพิวเตอร์ 1217 วิทยาศาสตร์ปริมาณ 1997, pp 209-223 ออก/กำกับ — เครื่องมือคอมพิวเตอร์สำหรับสี Petri มุ้ง[4] คูเปอร์ J. W.: การออกแบบรูปแบบ Java สหาย 1998[5] Gallasch G., Kristensen L. M.: COMMS/กำกับ: โครงสร้างพื้นฐานสื่อสารสำหรับการสื่อสารภายนอกกับการออกแบบ/โครงการ ในคุณเจน editor ประชุมเชิงปฏิบัติการสามและสอนปฏิบัติใช้ของสี Petri มุ้งและเครื่องมือ CPN, DAIMI PB-554 หน้า 75 – 91 แผนกของวิทยาการคอมพิวเตอร์ มหาวิทยาลัยอาร์ฮุส เดนมาร์ก 2001[6] คุณเจน: Petri สีมุ้ง แนวคิดพื้นฐาน วิธีวิเคราะห์ และใช้ปฏิบัติ ปี 1, 2, 3 EATCSMonographs บนคอมพิวเตอร์ทฤษฎีวิทยาศาสตร์ Springer Verlag, 1994[7] คุณเจนเซน Kristensen L. M. บ่อ L.: สีมุ้ง Petri และกำกับเครื่องมือสำหรับสร้างแบบจำลอง และการตรวจสอบระบบพร้อมกัน สมุดรายวันต่างชาติบนเครื่องมือซอฟต์แวร์สำหรับการถ่ายทอดเทคโนโลยี (STTT)9(3-4) นำ 213-254, 2007[8] มอร์เทนเซน คุณ H. Efficient-โครงสร้างข้อมูลและอัลกอริทึมสำหรับ Petri สีสุทธิจำลอง ใน: Kurt เจน (อุตสาหกรรมมหาบัณฑิต): ประชุมเชิงปฏิบัติการ 3 และสอนปฏิบัติใช้ของสี Petri มุ้งและเครื่องมือของศูนย์การค้าฯ (กำกับ ' 01), หน้า 57 – 74 DAIMI PB-554 อาร์ฮุสมหาวิทยาลัย 2001 สิงหาคม[9] แห่งต.: Petri มุ้ง: คุณสมบัติ การวิเคราะห์ และการประยุกต์ Proc. ของ IEEE ปี 77 เลขที่ 4, 1989 เมษายน[10] บ่อ Ratzer A.V., L., Lassen H. M., Laursen M., Qvortrup J. F., Stissing M. S., Westergaard M. คริสเตนเซน S. คุณเจน: เครื่องมือกำกับ การแก้ไข การจำลอง วิเคราะห์ Petri สีมุ้ง Proc. ประชุมนานาชาติ 24 โปรแกรมประยุกต์และทฤษฎีของ Petri มุ้ง (มุ้ง Petri 2003) บันทึกย่อการบรรยายวิทยาศาสตร์คอมพิวเตอร์ 2679, 450462 พีพีอ่าวมาหยา Springer Verlag เบอร์ลิน 2003[11] Lv Y., Lee C., Wu z., Chan H., Ip W.: ลำดับความสำคัญตามกระจายการผลิตกระบวนการสร้างโมเดลทางลำดับเวลาสี Petri สุทธิ " โอนย้าย IEEE ในสารสนเทศอุตสาหกรรม, (การถูกเผยแพร่)[12] Rza¸sa ปริมาณ: รวมเวลา Petri สีมุ้งและใช้งาน TCP จริงได้จำลองการทำงานของโปรแกรมประยุกต์ที่กระจาย CN 2009, CCIS 39, 79-86 พีพีอ่าวมาหยา ปี 2009, Eds. A. Kwiecie´n, P. ตั้งอยู่ และ P. Stera[13] Rza¸sa ปริมาณ: สุทธิ Petri สีเวลาตามการประเมินของ Efficiency ของตาราง วิทยานิพนธ์ปริญญาเอก AGH มหาวิทยาลัยวิทยาศาสตร์และเทคโนโลยี คณะวิศวกรรมไฟฟ้า Automatics วิทยาการคอมพิวเตอร์ และ อิเล็กทรอนิกส์ 2011 คราคูฟ โปแลนด์[14] Rza¸sa ปริมาณ Bubak M.: วิธีการจำลองสนับสนุนการพัฒนาโปรแกรมประยุกต์แบบขนานสำหรับกริด ใน proc. ของ CGW'10 นำ 194-201, KrakÃłw 2011, ISBN 978-83-61433-03-3[15] Rzo´nca D., Stec A., Trybus B.: ข้อมูลซื้อ Server ขนาดเล็กกระจายตัวควบคุมระบบ ไร w: KwiecieÅˇD A., P. ตั้งอยู่ P. Stera (Eds.): 2011 เครือข่ายคอมพิวเตอร์ การสื่อสารในคอมพิวเตอร์และข้อมูลวิทยาศาสตร์ 160, Springer Verlag เบอร์ลินไฮเดลเบิร์ก 2011 นำ 398-406[16] เมตรแบ่งแยก:, Kindler E.: Kernel Petri สุทธิ สุทธิ Petri เทคโนโลยีสำหรับระบบการสื่อสารการสอนคอมพิวเตอร์วิทยาศาสตร์ปริมาณบรรพ 2003, pp 109-123[17] Westergaard M., Kristensen L. M.: กรอบเข้า/กำกับ: จำลองเครื่องมือเครื่องมือสำหรับการโต้ตอบกับการกำกับการ โปรแกรมประยุกต์และทฤษฎีของอนมุ้ง Petri ในคอมพิวเตอร์วิทยาศาสตร์ปริมาณ 5606 ปี 2009, pp 313-322

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

[1] Binwang, MaodeMa: เซิร์ฟเวอร์อิสระการตรวจสอบโครงการสำหรับระบบ RFID อีอีอีทรานส์ ในอุตสาหกรรมสารสนเทศฉบับ 8 ไม่มี 3 ได้ pp. 689-696, สิงหาคม 2012 [2] ธันวาคม G, Je¸drzejecตRza¸sa W .: การ Kolorowana sie'c Petriego รูปแบบ jako systemu podejmowania decyzji kredytowej Studia INFORMATICA 2010 ฉบับ 31 จำนวน 2A (89) 2010 [3] คริ S, Jorgensen JB, Kristensen ลิตร, M .: เครื่องมือและขั้นตอนวิธีการก่อสร้างและการวิเคราะห์ระบบการบรรยายในสาขาวิทยาศาสตร์คอมพิวเตอร์เล่มที่ 1217, 1997, หน้า 209-223 การออกแบบ / CPN-เครื่องมือคอมพิวเตอร์ตาข่ายสีโล[4] คูเปอร์เจดับบลิว: การออกแบบรูปแบบ Java Companion 1998 [5] Gallasch กรัม Kristensen LM: COMMS / CPN: โครงสร้างพื้นฐานการสื่อสารสำหรับการสื่อสารภายนอกที่มีการออกแบบ / CPN ในเคเซ่น, แก้ไข, การประชุมเชิงปฏิบัติการที่สามและการสอนเกี่ยวกับการใช้ในทางปฏิบัติของสีโลตาข่ายและเครื่องมือ CPN, DAIMI PB-554, หน้า 75-91 ภาควิชาวิทยาการคอมพิวเตอร์มหาวิทยาลัยออฮุส, เดนมาร์ก, ปี 2001 [6] เซ่น K .: สีโลตาข่าย แนวคิดพื้นฐาน, วิธีการวิเคราะห์และการใช้ในทางปฏิบัติ ฉบับที่ 1, 2, 3 EATCSMonographs วิทยาศาสตร์คอมพิวเตอร์ทฤษฎี Springer-Verlag 1994 [7] เซ่นเค Kristensen LM เวลส์ L .: สีโลตาข่ายและ CPN เครื่องมือสำหรับการสร้างแบบจำลองและการตรวจสอบระบบพร้อมกัน วารสารนานาชาติในเครื่องมือซอฟต์แวร์สำหรับการถ่ายทอดเทคโนโลยี (STTT) 9 (3-4) ได้ pp. 213-254 2007 [8] มอร์เทน, KH Ef ไฟเพียงพอโครงสร้างข้อมูลและอัลกอริทึมสำหรับสีโลตาข่ายจำลอง ใน: เคิร์เซ่น (Ed.) การประชุมเชิงปฏิบัติการครั้งที่ 3 และการสอนเกี่ยวกับการใช้ในทางปฏิบัติของสีโลตาข่ายและเครื่องมือ CPN (CPN'01), หน้า 57-74 DAIMI PB-554 มหาวิทยาลัย Aarhus สิงหาคม 2001 [9] Murata T .: Petri ตาข่าย: คุณสมบัติการวิเคราะห์และการประยุกต์ใช้งาน พร ของอีอีอีโว 77 ฉบับที่ 4 เมษายน 1989 [10] Ratzer AV เวลส์ลิตรอนุญาติ HM, Laursen เมตร Qvortrup JF, Stissing MS, เวสเอ็ม, คริสเอสเซ่น K .: CPN เครื่องมือสำหรับแก้ไขจำลอง, และการวิเคราะห์สีโลตาข่าย พร ของการประชุมนานาชาติครั้งที่ 24 ในการประยุกต์ใช้งานและทฤษฎีตาข่าย Petri (Petri ตาข่าย 2003) บรรยายในวิทยาการคอมพิวเตอร์ 2679, pp ได้. 450462, สปริงเวอร์เบอร์ลินปี 2003 [11] เลเวลวายลีซีอู๋ซีจันทน์เอช Ip W .: การลำดับความสำคัญตามกระจายการสร้างแบบจำลองกระบวนการผลิตผ่านลำดับชั้นตั้งเวลา สีโลสุทธิ ". อีอีอีทรานส์. สารสนเทศอุตสาหกรรม (ที่จะถูกเผยแพร่). [12] Rza¸sa W .: การรวมหมดเวลา Petri ตาข่ายสีและการใช้งานจริง TCP ที่จะเชื่อถือได้จำลองการกระจายการใช้งาน. CN 2009 CCIS 39, pp ได้ 79-86, 2009 สหพันธ์ก. Kwiecie'n พีไ้และพี Stera. [13] Rza¸sa W .: การตั้งเวลาสีโลสุทธิจากการประเมินประสิทธิภาพการสายของการประยุกต์ใช้ตาราง. วิทยานิพนธ์ปริญญาเอก. AGH มหาวิทยาลัย วิทยาศาสตร์และเทคโนโลยีคณะวิศวกรรมไฟฟ้า Automatics, วิทยาศาสตร์คอมพิวเตอร์และอิเล็กทรอนิกส์ 2011, คราคูฟ, โปแลนด์. [14] Rza¸saดับบลิว Bubak M .: วิธีการจำลองการพัฒนาสนับสนุนการใช้งานแบบขนานสำหรับกริด. ใน proc. ของ CGW'10 พี. 194-201, KrakÃłw 2011, ไอ 978-83-61433-03-3. [15] Rzo'nca D. , Stec เอ Trybus B .: เซิร์ฟเวอร์จัดเก็บข้อมูลสำหรับมินิกระจายระบบควบคุม w: KwiecieÅDเอไ้พีพี Stera (Eds.).. เครือข่ายคอมพิวเตอร์ปี 2011 การสื่อสารในวิทยาการคอมพิวเตอร์และสารสนเทศ 160, Springer Verlag-เบอร์ลินไฮเดลเบิร์ก, 2011, หน้า 398-406 [16] เวเบอร์ M .: , ไค E .: โลเคอร์เนลสุทธิ Petri สุทธิเทคโนโลยีเพื่อการสื่อสารที่ใช้ระบบการบรรยายในสาขาวิทยาศาสตร์คอมพิวเตอร์เล่มที่ 2472, 2003, หน้า 109-123 [17] เวสเตอร์เอ็ม, คริสเต LM: การเข้าถึง / CPN กรอบ: เครื่องมือสำหรับการโต้ตอบกับ CPN จำลองเครื่องมือ การใช้งานและทฤษฎี Petri ตาข่ายบรรยายในสาขาวิทยาศาสตร์คอมพิวเตอร์เล่มที่ 5606, 2009, หน้า 313-322

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

[ 1 ] Binwang maodema : เซิร์ฟเวอร์อิสระ , การตรวจสอบรูปแบบสำหรับระบบ RFID IEEE trans . ในสารสนเทศอุตสาหกรรม , ฉบับที่ 8 , ฉบับที่ 3 , pp . 689-696 ส.ค. 2555

[ 2 ] , g , เจ¸ drzejec B , rza ¸ SA W : kolorowana ่ใหม่ C petriego เป็นรูปแบบ systemu podejmowania decyzji kredytowej . studia Informatica 2010 31 ฉบับ หมายเลข 2A ( 89 ) , 2010

[ 3 ] Christensen , ยอร์เกนเซ่น เจ บี ถือว่า L . M :เครื่องมือและวิธีการสำหรับการสร้างและวิเคราะห์ระบบบรรยายในวิทยาการคอมพิวเตอร์ปริมาณไปยัง , 1997 , pp 209-223 ออกแบบ / cpn-a คอมพิวเตอร์เครื่องมือสำหรับสีทฤษฎีเพทริเน็ต

[ 4 ] Cooper เจดับบลิว : การออกแบบลวดลายเป็นสหาย , 1998

[ 5 ] gallasch กรัมถือว่าล. ม. : สื่อสาร / CPN : การสื่อสารโครงสร้างพื้นฐานสำหรับการสื่อสารภายนอก ด้วยการออกแบบ / พัฒนา . ใน K . เจนเซ่น บรรณาธิการ3 การประชุมเชิงปฏิบัติการและสอนเกี่ยวกับประโยชน์ของมุ้ง Petri สีและพัฒนาเครื่องมือ daimi pb-554 , หน้า 75 – 91 ภาควิชาวิทยาการคอมพิวเตอร์ มหาวิทยาลัย Aarhus , เดนมาร์ก , 2544 .

[ 6 ] เจนเซ่น K : สีทฤษฎีเพทริเน็ต . แนวคิดพื้นฐาน วิธีการวิเคราะห์และใช้ประโยชน์ เล่มที่ 1 , 2 , 3 eatcsmonographs วิทยาศาสตร์คอมพิวเตอร์ทฤษฎี Springer Verlag , 2537 .

[ 7 ] เจนเซ่น K . ถือว่าลิตรเมตรL : บ่ออวน Petri สีและเครื่องมือ CPN สำหรับการสร้างแบบจำลองและตรวจสอบระบบพร้อมกัน วารสารนานาชาติในเครื่องมือซอฟต์แวร์สำหรับการถ่ายทอดเทคโนโลยี ( sttt ) 9 ( 3-4 ) , pp . 213-254 2007

[ 8 ] Mortensen . . EF จึง cient โครงสร้างข้อมูลและขั้นตอนวิธีสำหรับสีทฤษฎีเพทริเน็ต Simulator ใน : เคิร์ท เจนเซ่น ( เอ็ด )3 การประชุมเชิงปฏิบัติการและสอนเกี่ยวกับประโยชน์ของมุ้ง Petri สีและ CPN เครื่องมือ ( CPN '01 ) , หน้า 57 ) 74 daimi pb-554 มหาวิทยาลัย Aarhus , สิงหาคม 2001 .

[ 9 ] มุราตะ ต. : ทฤษฎีเพทริเน็ต : คุณสมบัติ , การวิเคราะห์และการประยุกต์ใช้ proc . ของ IEEE ฉบับที่ 77 , หมายเลข 4 เมษายน 2532

[ 10 ] ratzer . บ่อ L . H . M . laursen ขอรับ , ม. qvortrup J . F . stissing เอ็ม เอส เวสเตอร์การ์ดเมตร Christensen เอส เจนเซ่น : Kพัฒนาเครื่องมือสำหรับการแก้ไข , จำลอง และวิเคราะห์สีทฤษฎีเพทริเน็ต . proc . การประชุมระหว่างประเทศที่ 24 ในการใช้งานและทฤษฎีทฤษฎีเพทริเน็ต ( ทฤษฎีเพทริเน็ต 2003 ) บันทึกการบรรยายในวิทยาศาสตร์ 2229 , คอมพิวเตอร์ . 450462 Springer Verlag , เบอร์ลิน , 2546 .

[ 11 ] LV วาย ลี ซี วู ซีชาน เอช. IP W : ลำดับความสำคัญตามกระบวนการผลิตผ่านการกระจายแบบตั้งเวลาสี Petri net "IEEE trans . ในสารสนเทศอุตสาหกรรม ( เพื่อเผยแพร่ )

[ 12 ] rza ¸ SA W : รวมหมดสีมุ้ง Petri และใช้ TCP จริงเชื่อถือได้จำลองการกระจายการใช้งาน CN 2009 / จิตติมา ตันอำนวย 39 , pp . 79-86 , 2009 , แผนที่ . kwiecie ใหม่ N , P . กาจ และหน้า stera

[ 13 ] rza ¸ SA W : หมดเวลาทดลองสีสุทธิตามการประเมินประสิทธิภาพของ EF จึงตารางโปรแกรม ปริญญาเอกวิทยานิพนธ์โอย มหาวิทยาลัยวิทยาศาสตร์และเทคโนโลยี , คณะวิศวกรรมศาสตร์ , เครื่องกลไฟฟ้า , คอมพิวเตอร์และอิเล็กทรอนิกส์ , 2011 , กรากุฟประเทศโปแลนด์

[ 14 ] rza ¸ซา ดับบลิว bubak เมตร : วิธีการจำลองในการพัฒนาโปรแกรมแบบขนานสำหรับกริด ใน proc . ห้องของ cgw . 194 , – 201 , แครกÃł W 2011 ISBN 978-83-61433-03-3

[ 15 ] rzo ใหม่ nca d , BBL trybus A , B .ข้อมูลเซิร์ฟเวอร์ขนาดเล็กกระจายการควบคุมระบบ W : kwiecie Åˇ D A , กัชพี , stera หน้า ( แผนที่ ) : เครือข่ายคอมพิวเตอร์ 2011 , การสื่อสารคอมพิวเตอร์และสารสนเทศศาสตร์ 160 , Springer Verlag เบอร์ลินเบอร์ลิน 2011 , pp . 398-406

[ 16 ] เวเบอร์เมตร : คินเดอเลอร์ E : Petri net เคอร์เนล เพทริเน็ตเทคโนโลยีการสื่อสารที่ใช้ระบบคอมพิวเตอร์บันทึกคำบรรยายในเล่ม 2 , 472 , 2003 ,PP 109 – 123

[ 17 ] เวสเตอร์การ์ดเมตร ถือว่าล. ม. : การเข้าถึง / CPN กรอบ : เครื่องมือสำหรับการโต้ตอบกับเครื่องมือพัฒนาโปรแกรมจำลอง การประยุกต์ใช้ทฤษฎีทฤษฎีเพทริเน็ตบรรยายในวิทยาการคอมพิวเตอร์หมวดภูมิภาค , 2009 , PP 313 322
จำกัด