การสร้างแบบจำลองและการวิเคราะห์ Mobile Petri net สำหรับนักศึกษาและนักวิจัย
PetriNets โดย Tagliaferro Mauricio เป็นแอป Android สำหรับการสร้างแบบจำลองและจำลอง Petri nets ที่ใช้ในการอธิบายระบบที่เกิดขึ้นพร้อมกัน แอปนี้ให้ผู้ใช้สร้างกราฟิกเน็ต ตั้งค่าเครื่องหมายโทเคนเริ่มต้น และเรียกใช้การจำลองเชิงโต้ตอบด้วยการจุดไฟการเปลี่ยนแปลงด้วยตนเองหรืออัตโนมัติเพื่อสังเกตพฤติกรรม มันรวมถึงความสามารถในการวิเคราะห์เช่นการสร้างต้นไม้การเข้าถึงและการครอบคลุมพร้อมการสนับสนุนการบันทึก/โหลดโครงการ ออกแบบมาสำหรับนักศึกษาในมหาวิทยาลัย มืออาชีพด้านวิศวกรรม และนักวิจัยที่ต้องการการฝึกปฏิบัติที่พกพาได้และเป็นรูปธรรมกับการสร้างแบบจำลองอย่างเป็นทางการ。
แอปจัดการงานการศึกษาประเภทใด?
แอปทำหน้าที่เป็นพื้นที่ทำงานสำหรับการสร้างแบบจำลองและการจำลองที่พกพาได้สำหรับ Place-Transition Petri nets ผู้ใช้สร้างแผนภาพด้วย โปรแกรมแก้ไขกราฟิก และเพิ่มองค์ประกอบโครงสร้างที่ต้องการ องค์ประกอบทั่วไปที่รองรับรวมถึง:
- สถานที่ สำหรับการจัดเก็บโทเค็น
- การเปลี่ยนแปลง ที่แสดงถึงเหตุการณ์
- เส้นโค้ง ที่เชื่อมโยงสถานที่และการเปลี่ยนแปลง
เครื่องมือสนับสนุนการเรียนรู้วิธีการทางการอย่างไร?
แอปส่งเสริมการสอบถามผ่านการดำเนินการแบบโต้ตอบและการวิเคราะห์ทางการ นักเรียนสามารถก้าวผ่านการยิงการเปลี่ยนแปลงหรือเรียกใช้ลำดับอัตโนมัติเพื่อสังเกตการไหลของโทเค็น และเครื่องยนต์วิเคราะห์ที่รวมอยู่จะรายงานคุณสมบัติทางโครงสร้างและพฤติกรรมเช่นการเข้าถึงและความจำกัด การสร้างต้นไม้การเข้าถึงและการครอบคลุมช่วยให้ผู้เรียนมองเห็นพื้นที่สถานะซึ่งสนับสนุนการทดสอบสมมติฐานเกี่ยวกับการมีชีวิตและการติดขัดในโมเดลขนาดเล็กถึงขนาดกลาง
แอปเหมาะสำหรับผู้เริ่มต้น นักเรียน หรือผู้วิจัยหรือไม่?
แอปมุ่งเป้าไปที่ผู้ใช้ระดับอุดมศึกษาและมืออาชีพ โดยเฉพาะนักเรียนวิทยาการคอมพิวเตอร์ ผู้เชี่ยวชาญด้านวิศวกรรม และนักวิจัย การมุ่งเน้นที่คุณสมบัติทางการหมายความว่าหลักสูตรก่อนหน้านี้หรือความคุ้นเคยกับ Petri nets จะช่วยเพิ่มความมีประโยชน์ โปรแกรมแก้ไขที่มุ่งเน้นไปที่มือถือและสัมผัสสนับสนุนการสเก็ตช์และการทดลองอย่างรวดเร็ว ทำให้สะดวกสำหรับการศึกษาในช่วงเวลาที่ห่างจากเดสก์ท็อป แม้ว่าจะถือว่าผู้ใช้เข้าใจแนวคิดพื้นฐานของ Petri net
มันช่วยในการทำงานและการวิเคราะห์โมเดลการศึกษาอย่างไร?
แอปจัดเตรียมเวิร์กโฟลว์ที่มุ่งเน้นการวิเคราะห์แทนการจัดการในห้องเรียน ผู้ใช้สามารถบันทึกและโหลดโครงการเพื่อการศึกษาอย่างต่อเนื่อง ตรวจสอบคุณสมบัติทางคณิตศาสตร์ผ่านเครื่องยนต์วิเคราะห์ในตัว และส่งออกความเข้าใจผ่านต้นไม้ที่สร้างขึ้น Tagliaferro ออกแบบเครื่องมือเพื่อให้ข้อเสนอแนะแก่พฤติกรรมของโมเดลทันที ดังนั้นผู้เรียนสามารถทำซ้ำโมเดลและเปรียบเทียบผลลัพธ์โดยไม่ต้องย้ายไปยังซอฟต์แวร์วิเคราะห์เดสก์ท็อป
ห้องปฏิบัติการมือถือที่ใช้งานได้จริงสำหรับการสร้างแบบจำลองอย่างเป็นทางการ เหมาะที่สุดสำหรับนักเรียนระดับอุดมศึกษา
PetriNets เป็นตัวเลือกที่ใช้งานได้จริงสำหรับนักศึกษาและนักวิจัยที่ต้องการการฝึกปฏิบัติแบบพกพาและลงมือทำกับ Petri nets และการให้เหตุผลในพื้นที่สถานะ คาดว่ามันจะเหมาะกับผู้เรียนที่กำลังศึกษาเกี่ยวกับวิธีการอย่างเป็นทางการอยู่แล้ว มากกว่าผู้เริ่มต้นที่สมบูรณ์ เคล็ดลับ: ใช้ช่วงเวลาการสร้างแบบจำลองที่สั้นและมุ่งเน้น และบันทึกเวอร์ชันโครงการแบบค่อยเป็นค่อยไปเพื่อสำรวจคุณสมบัติเพียงอย่างเดียวต่อเซสชันเพื่อผลลัพธ์การเรียนรู้ที่ชัดเจนมากขึ้น.
