Это приложение для Linux под названием SEPIA: ориентированная на безопасность PN Framework для запуска в Linux в Интернете, последний выпуск которого можно загрузить как sepia-0.1.5-Consistent.jar. Его можно запустить онлайн в бесплатном хостинг-провайдере OnWorks для рабочих станций.
Загрузите и запустите онлайн это приложение под названием SEPIA: ориентированная на безопасность PN Framework для бесплатного запуска в Linux онлайн с 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 для работы в Linux онлайн
Ad
ОПИСАНИЕ
SEPIA предоставляет реализации для различных типов сетей Петри. Наряду с сетями размещения / перехода он поддерживает сети Петри с различимыми цветами маркеров и определяет цветные сети рабочего процесса, где цветные маркеры интерпретируются как элементы данных, используемые во время выполнения процесса. Для поддержки анализа информационных потоков процессов SEPIA определяет так называемые IF-сети, предназначенные для моделирования рабочих процессов, ориентированных на безопасность, которые позволяют пользователям назначать уровни безопасности (ВЫСОКИЙ, НИЗКИЙ) переходам, элементам данных и лицам / агентам, участвующим в процессе. исполнение.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-сетей
- Обход сети Петри
- Уточнение сети Петри
- Утилиты достижимости
- Парсинг PNML
Аудитория
Наука / Исследования, Продвинутые конечные пользователи, Безопасность
Язык программирования
Java
Это приложение также можно загрузить с https://sourceforge.net/projects/sepiaframework/. Он размещен в OnWorks, чтобы его можно было легко запускать в Интернете с помощью одной из наших бесплатных операционных систем.
