Це програма для Linux під назвою SEPIA: Security-oriented PN Framework, останню версію якої можна завантажити як sepia-0.1.5-consistent.jar. Його можна запустити в режимі онлайн за допомогою безкоштовного хостинг-провайдера OnWorks для робочих станцій.
Завантажте та запустіть онлайн цю програму під назвою SEPIA: Security-oriented PN Framework з OnWorks безкоштовно.
Дотримуйтесь цих інструкцій, щоб запустити цю програму:
- 1. Завантажив цю програму на свій ПК.
- 2. Введіть у наш файловий менеджер https://www.onworks.net/myfiles.php?username=XXXXX із потрібним ім'ям користувача.
- 3. Завантажте цю програму в такий файловий менеджер.
- 4. Запустіть онлайн-емулятор OnWorks Linux або Windows або онлайн-емулятор MACOS з цього веб-сайту.
- 5. З ОС OnWorks Linux, яку ви щойно запустили, перейдіть до нашого файлового менеджера https://www.onworks.net/myfiles.php?username=XXXXX з потрібним іменем користувача.
- 6. Завантажте програму, встановіть її та запустіть.
SEPIA: PN Framework, орієнтована на безпеку
Ad
ОПИС
SEPIA надає реалізації для різних типів мереж Петрі. Поряд з мережами Place/Transition, він підтримує мережі Петрі з відмінними кольорами маркерів і визначає кольорові мережі робочого процесу, де кольорові маркери інтерпретуються як елементи даних, що використовуються під час виконання процесу. Для підтримки аналізу інформаційних потоків процесів SEPIA визначає так звані IF-Net, розроблені для моделювання робочого процесу, орієнтованого на безпеку, що дозволяє користувачам призначати рівні безпеки (ВИСОКИЙ, НИЗЬКИЙ) переходам, елементам даних і особам/агентам, які беруть участь у процесі. виконання.SEPIA спирається на TOVAL (http://sourceforge.net/p/toval), ЯГАЛ (http://sourceforge.net/p/jagal) і SEWOL (https://sourceforge.net/projects/jawl/). Щоб використовувати SEPIA, переконайтеся, що ці бібліотеки знаходяться на шляху збірки.
SEPIA містить інструмент перевірки кількох схем (https://msv.java.net/) та ізорелакс (http://iso-relax.sourceforge.net/)
Документацію можна знайти за посиланням http://doku.telematik.uni-freiburg.de/sepia.
Функції
- Впровадження P/T мереж
- Реалізація кольорових сіток Петрі
- Реалізація кольорових мереж робочого процесу
- Реалізація IF-Nets
- Обхід мережі Петрі
- Чистота Петрі уточнення
- Досяжність утиліти
- Розбір PNML
Аудиторія
Наука/Дослідження, Розширені кінцеві користувачі, Безпека
Мова програмування
Java
Це додаток, який також можна отримати з https://sourceforge.net/projects/sepiaframework/. Його розміщено в OnWorks, щоб його можна було запустити в Інтернеті найпростішим способом з однієї з наших безкоштовних операційних систем.