ส่งซอฟต์แวร์
  1. บ้าน
  2. Windows
  3. อื่นๆ
  4. PetriKit: Petri Net Analysis Toolkit

PetriKit: Petri Net Analysis Toolkit 1.0

ใบ อนุญาต: ฟรี ‎ขนาดแฟ้ม: N/A
‎คะแนนจากผู้ใช้: 4.0/5 - ‎1 ‎โหวต
ดาวน์โหลด

PetriKit เป็นชุดเครื่องมือแบบแยกส่วนสําหรับการวิเคราะห์ Petri Net ช่วยให้สามารถสกัดคุณสมบัติพื้นฐานการสกัด invariants และการสร้างกราฟความสามารถในการเข้าถึงได้ ผลลัพธ์สามารถจัดรูปแบบเป็นแฟ้มข้อความล้วน HTML หรือ XML ได้

ประวัติรุ่น

  • เวอร์ชัน 1.0 โพสต์เมื่อ 2008-01-17
    การแก้ไขและการอัปเดตหลายรายการ
  • เวอร์ชัน 1.0 โพสต์เมื่อ 2008-01-17

รายละเอียดหลักสูตร

หลักสูตรที่เกี่ยวข้อง

  • Vocatra ฟรี

    คําศัพท์เป็นเทรนเนอร์คําศัพท์ที่ใช้คอนโซล ใช้ไฟล์คําศัพท์หนึ่งไฟล์หรือมากกว่าค้นหาคุณสําหรับแต่ละคําและช่วยให้คุณพยายามให้คําตอบที่ถูกต้อง

  • While Interpreter ฟรี

    ในขณะที่Interpreterเป็นล่ามสําหรับภาษาการเขียนโปรแกรมในขณะที่ที่ใช้สําหรับการเรียนรู้วัตถุประสงค์ของ มันมีโครงสร้างน้อยและความหมายที่ง่าย

  • RubyMoss ฟรี

    RubyMoss เป็นเว็บ - ตามกรอบที่เขียนด้วยทับทิมบนรางมีวัตถุประสงค์เพื่อสนับสนุนการวิเคราะห์และการประมวลผลข้อมูลทั้งหมดสําหรับสเปกโตรสโคปี Mossbauer เขียนภายใต้ใบอนุญาต BSD

  • Peter Pig s Money Counter ทดลองใช้ฟรี

    ด้วยความช่วยเหลือของ Peter Pig ที่ชาญฉลาดเด็ก ๆ ฝึกคัดแยกและนับเหรียญเพื่อหารายได้สําหรับ "ธนาคาร" ของพวกเขาทั้งหมดในขณะที่เรียนรู้ข้อเท็จจริงสนุก ๆ เกี่ยวกับสกุลเงินของสหรัฐอเมริกา พวกเขาเรียนรู้ที่จะรับรู้และจัดเรียงเหรียญต

  • Nfrequencies ฟรี

    ทําการวิเคราะห์หลายรูปแบบตามความถี่ di-nucleotide จากข้อมูลลําดับดีเอ็นเอ

  • NetBuilder' - Apostrophe ฟรี

    NetBuilder เป็นเครื่องมือสําหรับการสร้างภาพและการจําลองเครือข่ายทางชีวภาพหลายชั้นซึ่งจัดโครงสร้างเป็น Petri-nets ตามลําดับชั้น มันมีเครื่องจําลอง stochastic ในตัว แต่ยังให้การเข้าถึงการจําลองและการวิเคราะห์อื่น ๆ ได้ง่าย

  • DFWiki ฟรี

    DFWiki เป็นโมดูล Wiki ที่ออกแบบมาเพื่อทํางานภายในสภาพแวดล้อม LMS อารมณ์ มันถูกออกแบบมาเพื่อใช้ advantadge ของคุณสมบัติ Wiki สําหรับการเรียนรู้อิเล็กทรอนิกส์, เป็นการสร้างเนื้อหา, และโครงการทํางานร่วมกัน. รุ่นในอนาคตจะทํางานอา

  • lib3d_mec_GiNaC ฟรี

    lib_3d_mec_ginacไลบรารีสําหรับพลวัตของระบบแบบสัญลักษณ์ มันสามารถใช้แบบสแตนด์อโลนแม้ว่ามันจะเป็นตัวแทนของเคอร์เนลในอนาคต 3.0 ของ3d_mec (http://www.imac.unavarra.es/3d_mec)

  • JCadServices ฟรี

    ทีมส่งร่วมพัฒนาอินเทอร์เฟซ CORBA ช่วยให้ระบบ CAD เชิงกลสามารถแลกเปลี่ยนเรขาคณิตและโทโพโลยีได้

  • GEGIS ฟรี

    สร้าง WebGIS ตาม Google Earth เพียง 7 ขั้นตอนในการใช้งานเว็บแอปพลิเคชัน WebGIS!