ນີ້ແມ່ນແອັບ Linux ທີ່ມີຊື່ວ່າ SEPIA: Security-oriented PN Framework ເພື່ອແລ່ນໃນ Linux ອອນໄລນ໌ ເຊິ່ງລຸ້ນຫຼ້າສຸດສາມາດດາວໂຫຼດໄດ້ເປັນ sepia-0.1.5-consistent.jar. ມັນສາມາດດໍາເນີນການອອນໄລນ໌ຢູ່ໃນຜູ້ໃຫ້ບໍລິການໂຮດຕິ້ງຟຣີ OnWorks ສໍາລັບສະຖານີເຮັດວຽກ.
ດາວນ໌ໂຫລດແລະດໍາເນີນການອອນໄລນ໌ app ນີ້ມີຊື່ SEPIA: Security-oriented PN Framework ເພື່ອແລ່ນໃນ Linux ອອນໄລນ໌ກັບ OnWorks ໄດ້ຟຣີ.
ປະຕິບັດຕາມຄໍາແນະນໍາເຫຼົ່ານີ້ເພື່ອດໍາເນີນການ app ນີ້:
- 1. ດາວໂຫຼດຄໍາຮ້ອງສະຫມັກນີ້ໃນ PC ຂອງທ່ານ.
- 2. ໃສ່ໃນຕົວຈັດການໄຟລ໌ຂອງພວກເຮົາ https://www.onworks.net/myfiles.php?username=XXXXX ດ້ວຍຊື່ຜູ້ໃຊ້ທີ່ທ່ານຕ້ອງການ.
- 3. ອັບໂຫລດແອັບພລິເຄຊັນນີ້ຢູ່ໃນຕົວຈັດການໄຟລ໌ດັ່ງກ່າວ.
- 4. ເລີ່ມ OnWorks Linux ອອນລາຍ ຫຼື Windows online emulator ຫຼື MACOS online emulator ຈາກເວັບໄຊທ໌ນີ້.
- 5. ຈາກ OnWorks Linux OS ທີ່ເຈົ້າຫາກໍ່ເລີ່ມຕົ້ນ, ໄປທີ່ຕົວຈັດການໄຟລ໌ຂອງພວກເຮົາ https://www.onworks.net/myfiles.php?username=XXXXX ດ້ວຍຊື່ຜູ້ໃຊ້ທີ່ທ່ານຕ້ອງການ.
- 6. ດາວນ໌ໂຫລດຄໍາຮ້ອງສະຫມັກ, ຕິດຕັ້ງມັນແລະດໍາເນີນການ.
SEPIA: Security-oriented PN Framework to run in Linux online
DESCRIPTION:
SEPIA ສະຫນອງການປະຕິບັດສໍາລັບປະເພດຕ່າງໆຂອງຕາຫນ່າງ Petri. ຄຽງຄູ່ກັບ Place/Transition-nets, ມັນສະຫນັບສະຫນູນ Petri nets ທີ່ມີສີ token ທີ່ແຍກແຍະແລະກໍານົດຕາຫນ່າງ workflow ສີ, ບ່ອນທີ່ tokens ສີຖືກຕີຄວາມຫມາຍເປັນອົງປະກອບຂໍ້ມູນທີ່ໃຊ້ໃນລະຫວ່າງການປະຕິບັດຂະບວນການ. ເພື່ອສະຫນັບສະຫນູນການວິເຄາະການໄຫລຂອງຂໍ້ມູນຂອງຂະບວນການ, SEPIA ກໍານົດອັນທີ່ເອີ້ນວ່າ IF-Nets, ເຫມາະສົມກັບການສ້າງແບບຈໍາລອງການເຮັດວຽກທີ່ເນັ້ນຄວາມປອດໄພເຊິ່ງຊ່ວຍໃຫ້ຜູ້ໃຊ້ສາມາດກໍານົດລະດັບຄວາມປອດໄພ (HIGH, LOW) ໃຫ້ກັບການປ່ຽນແປງ, ອົງປະກອບຂໍ້ມູນແລະບຸກຄົນ / ຕົວແທນທີ່ເຂົ້າຮ່ວມໃນຂະບວນການ. ການປະຕິບັດ.SEPIA ສ້າງຂຶ້ນຕາມ TOVAL (http://sourceforge.net/p/toval), JAGAL (http://sourceforge.net/p/jagal) ແລະ SEWOL (https://sourceforge.net/projects/jawl/). ເພື່ອໃຊ້ SEPIA, ໃຫ້ແນ່ໃຈວ່າຫ້ອງສະຫມຸດເຫຼົ່ານີ້ຢູ່ໃນເສັ້ນທາງການກໍ່ສ້າງ.
SEPIA ກວມເອົາ Multi Schema Validator (https://msv.java.net/) ແລະ isorelax (http://iso-relax.sourceforge.net/)
ເອກະສານສາມາດພົບໄດ້ພາຍໃຕ້ http://doku.telematik.uni-freiburg.de/sepia.
ຄຸນລັກສະນະ
- ການປະຕິບັດຕາຫນ່າງ P / T
- ການປະຕິບັດຕາຫນ່າງ Petri ສີ
- ການປະຕິບັດຂອງຕາຫນ່າງ Workflow ສີ
- ການຈັດຕັ້ງປະຕິບັດ IF-Nets
- Petri ສຸດທິຂ້າມຜ່ານ
- ການກັ່ນຕອງສຸດທິ Petri
- ເຄື່ອງໃຊ້ໃນການເຂົ້າເຖິງ
- PNML Parsing
Audience
ວິທະຍາສາດ/ການຄົ້ນຄວ້າ, ຜູ້ໃຊ້ສຸດທ້າຍ, ຄວາມປອດໄພ
ພາສາການຂຽນໂປຣແກຣມ
Java
ນີ້ແມ່ນແອັບພລິເຄຊັນທີ່ຍັງສາມາດເອົາມາຈາກ https://sourceforge.net/projects/sepiaframework/. ມັນໄດ້ຖືກຈັດຢູ່ໃນ OnWorks ເພື່ອໃຫ້ດໍາເນີນການອອນໄລນ໌ໃນວິທີທີ່ງ່າຍທີ່ສຸດຈາກຫນຶ່ງໃນລະບົບປະຕິບັດງານຟຣີຂອງພວກເຮົາ.