Рекомендация для программного обеспечения для моделирования Petri Nets?

Question 1

Я ищу симулятор Petri Nets с графическим редактором для Ubuntu.

Кто-нибудь знает, существует ли такой инструмент?

Question 2

Попробуйте следующее: http://sourceforge.net/projects/pipe2/

Question 3

Question 4

Tapaal

Timed-Arc Petri Net (TAPN) является временным расширением классической сетевой модели Петри & lt; ..> Инструмент TAPAAL предлагает графический редактор для рисования моделей TAPN, симулятора для экспериментов с разработанные сети и среду проверки, которая автоматически отвечает на логические запросы, сформулированные в подмножестве логики CTL (по существу, EF, EG, AF, AG без вложенности). Он также позволяет пользователю проверить, является ли данная сеть k-ограниченной для заданного числа k. Алгоритм проверки переводит запросы TAPAAL в UPPAAL и использует механизм проверки UPPAAL, но пользователю не нужно оставлять GUI TAPAAL во время любой фазы проверки модели, а трассировки ошибок отображаются непосредственно в TAPAAL.

(Скриншот TAPAAL (на Ubuntu 10.10))

Установка:

sudo add-apt-repository ppa:tapaal-packaging/tapaal

sudo apt-get update

sudo apt-get install tapaal

edit: Tapaal теперь можно найти на Tapaal

Question 5

Попробуйте следующее: http://sourceforge.net/projects/pipe2/

Question 6

Tapaal

Timed-Arc Petri Net (TAPN) является временным расширением классической сетевой модели Петри & lt; ..> Инструмент TAPAAL предлагает графический редактор для рисования моделей TAPN, симулятора для экспериментов с разработанные сети и среду проверки, которая автоматически отвечает на логические запросы, сформулированные в подмножестве логики CTL (по существу, EF, EG, AF, AG без вложенности). Он также позволяет пользователю проверить, является ли данная сеть k-ограниченной для заданного числа k. Алгоритм проверки переводит запросы TAPAAL в UPPAAL и использует механизм проверки UPPAAL, но пользователю не нужно оставлять GUI TAPAAL во время любой фазы проверки модели, а трассировки ошибок отображаются непосредственно в TAPAAL.

(Скриншот TAPAAL (на Ubuntu 10.10))

Установка:

sudo add-apt-repository ppa:tapaal-packaging/tapaal

sudo apt-get update

sudo apt-get install tapaal

edit: Tapaal теперь можно найти на Tapaal

Question 7

Question 8

Попробуйте следующее: http://sourceforge.net/projects/pipe2/

Question 9

Tapaal

Timed-Arc Petri Net (TAPN) является временным расширением классической сетевой модели Петри & lt; ..> Инструмент TAPAAL предлагает графический редактор для рисования моделей TAPN, симулятора для экспериментов с разработанные сети и среду проверки, которая автоматически отвечает на логические запросы, сформулированные в подмножестве логики CTL (по существу, EF, EG, AF, AG без вложенности). Он также позволяет пользователю проверить, является ли данная сеть k-ограниченной для заданного числа k. Алгоритм проверки переводит запросы TAPAAL в UPPAAL и использует механизм проверки UPPAAL, но пользователю не нужно оставлять GUI TAPAAL во время любой фазы проверки модели, а трассировки ошибок отображаются непосредственно в TAPAAL.

(Скриншот TAPAAL (на Ubuntu 10.10))

Установка:

sudo add-apt-repository ppa:tapaal-packaging/tapaal

sudo apt-get update

sudo apt-get install tapaal

edit: Tapaal теперь можно найти на Tapaal

Question 10

Попробуйте следующее: http://sourceforge.net/projects/pipe2/

Question 11

Tapaal

Timed-Arc Petri Net (TAPN) является временным расширением классической сетевой модели Петри & lt; ..> Инструмент TAPAAL предлагает графический редактор для рисования моделей TAPN, симулятора для экспериментов с разработанные сети и среду проверки, которая автоматически отвечает на логические запросы, сформулированные в подмножестве логики CTL (по существу, EF, EG, AF, AG без вложенности). Он также позволяет пользователю проверить, является ли данная сеть k-ограниченной для заданного числа k. Алгоритм проверки переводит запросы TAPAAL в UPPAAL и использует механизм проверки UPPAAL, но пользователю не нужно оставлять GUI TAPAAL во время любой фазы проверки модели, а трассировки ошибок отображаются непосредственно в TAPAAL.

(Скриншот TAPAAL (на Ubuntu 10.10))

Установка:

sudo add-apt-repository ppa:tapaal-packaging/tapaal

sudo apt-get update

sudo apt-get install tapaal

edit: Tapaal теперь можно найти на Tapaal

Question 12

Попробуйте следующее: http://sourceforge.net/projects/pipe2/

Question 13

Question 14

Tapaal

Timed-Arc Petri Net (TAPN) является временным расширением классической сетевой модели Петри & lt; ..> Инструмент TAPAAL предлагает графический редактор для рисования моделей TAPN, симулятора для экспериментов с разработанные сети и среду проверки, которая автоматически отвечает на логические запросы, сформулированные в подмножестве логики CTL (по существу, EF, EG, AF, AG без вложенности). Он также позволяет пользователю проверить, является ли данная сеть k-ограниченной для заданного числа k. Алгоритм проверки переводит запросы TAPAAL в UPPAAL и использует механизм проверки UPPAAL, но пользователю не нужно оставлять GUI TAPAAL во время любой фазы проверки модели, а трассировки ошибок отображаются непосредственно в TAPAAL.

(Скриншот TAPAAL (на Ubuntu 10.10))

Установка:

sudo add-apt-repository ppa:tapaal-packaging/tapaal

sudo apt-get update

sudo apt-get install tapaal

edit: Tapaal теперь можно найти на Tapaal

Question 15

Tapaal

Timed-Arc Petri Net (TAPN) является временным расширением классической сетевой модели Петри & lt; ..> Инструмент TAPAAL предлагает графический редактор для рисования TAPN, симулятор для экспериментов с проектируемыми сетями и среда проверки, которая автоматически отвечает на логические запросы, сформулированные в подмножестве логики CTL (по существу EF, EG, AF, AG без вложенности). Он также позволяет пользователю проверить, является ли данная сеть k-ограниченной для заданного числа k. Алгоритм проверки переводит запросы TAPAAL в UPPAAL и использует механизм проверки UPPAAL, но пользователю не нужно оставлять GUI TAPAAL во время любой фазы проверки модели, а трассы ошибок отображаются непосредственно в TAPAAL.

enter image description here [!d5]

(Скриншот TAPAAL (на Ubuntu 10.10))

Установка:

sudo add-apt-repository ppa: tapaal-packaging / tapaal

sudo apt-get update

sudo apt-get install tapaal

edit: Tapaal теперь можно найти на http://www.tapaal.net

Question 16

Попробуйте следующее: http://sourceforge.net/projects/pipe2/

Question 17

Попробуйте следующее: http://sourceforge.net/projects/pipe2/

Question 18

Tapaal

Timed-Arc Petri Net (TAPN) является временным расширением классической сетевой модели Петри & lt; ..> Инструмент TAPAAL предлагает графический редактор для рисования TAPN, симулятор для экспериментов с проектируемыми сетями и среда проверки, которая автоматически отвечает на логические запросы, сформулированные в подмножестве логики CTL (по существу EF, EG, AF, AG без вложенности). Он также позволяет пользователю проверить, является ли данная сеть k-ограниченной для заданного числа k. Алгоритм проверки переводит запросы TAPAAL в UPPAAL и использует механизм проверки UPPAAL, но пользователю не нужно оставлять GUI TAPAAL во время любой фазы проверки модели, а трассы ошибок отображаются непосредственно в TAPAAL.

enter image description here [!d5]

(Скриншот TAPAAL (на Ubuntu 10.10))

Установка:

sudo add-apt-repository ppa: tapaal-packaging / tapaal

sudo apt-get update

sudo apt-get install tapaal

edit: Tapaal теперь можно найти на http://www.tapaal.net

Question 19

Question 20

Попробуйте следующее: http://sourceforge.net/projects/pipe2/

Question 21

Tapaal

Timed-Arc Petri Net (TAPN) является временным расширением классической сетевой модели Петри & lt; ..> Инструмент TAPAAL предлагает графический редактор для рисования TAPN, симулятор для экспериментов с проектируемыми сетями и среда проверки, которая автоматически отвечает на логические запросы, сформулированные в подмножестве логики CTL (по существу EF, EG, AF, AG без вложенности). Он также позволяет пользователю проверить, является ли данная сеть k-ограниченной для заданного числа k. Алгоритм проверки переводит запросы TAPAAL в UPPAAL и использует механизм проверки UPPAAL, но пользователю не нужно оставлять GUI TAPAAL во время любой фазы проверки модели, а трассы ошибок отображаются непосредственно в TAPAAL.

enter image description here [!d5]

(TAPAAL Снимок экрана (на Ubuntu 10.10))

Установка:

sudo add-apt-repository ppa: tapaal-packaging / tapaal

sudo apt-get update

sudo apt-get install tapaal

edit: Tapaal теперь можно найти на http://www.tapaal.net

nickguletskii · Answer 1 · 25 July 2018 в 21:51

Попробуйте следующее: http://sourceforge.net/projects/pipe2/

2

ответ дан nickguletskii 25 July 2018 в 21:51

1

Проверено. Были некоторые базовые тесты и работы, как и предполагалось. Спасибо за ответ. – bacchus 23 May 2011 в 20:20

user1597605 · Answer 2 · 25 July 2018 в 21:51

Tapaal

Timed-Arc Petri Net (TAPN) является временным расширением классической сетевой модели Петри & lt; ..> Инструмент TAPAAL предлагает графический редактор для рисования моделей TAPN, симулятора для экспериментов с разработанные сети и среду проверки, которая автоматически отвечает на логические запросы, сформулированные в подмножестве логики CTL (по существу, EF, EG, AF, AG без вложенности). Он также позволяет пользователю проверить, является ли данная сеть k-ограниченной для заданного числа k. Алгоритм проверки переводит запросы TAPAAL в UPPAAL и использует механизм проверки UPPAAL, но пользователю не нужно оставлять GUI TAPAAL во время любой фазы проверки модели, а трассировки ошибок отображаются непосредственно в TAPAAL.

(Скриншот TAPAAL (на Ubuntu 10.10))

Установка:

sudo add-apt-repository ppa:tapaal-packaging/tapaal

sudo apt-get update

sudo apt-get install tapaal

edit: Tapaal теперь можно найти на Tapaal

Проверено. Работает. Он основан на PIPE2. Спасибо за ответ. — bacchus, 23 May 2011 в 20:48

nickguletskii · Answer 3 · 31 July 2018 в 12:55

Попробуйте следующее: http://sourceforge.net/projects/pipe2/

2

ответ дан nickguletskii 31 July 2018 в 12:55

1

Проверено. Были некоторые базовые тесты и работы, как и предполагалось. Спасибо за ответ. – bacchus 23 May 2011 в 20:20

user1597605 · Answer 4 · 31 July 2018 в 12:55

Tapaal

Timed-Arc Petri Net (TAPN) является временным расширением классической сетевой модели Петри & lt; ..> Инструмент TAPAAL предлагает графический редактор для рисования моделей TAPN, симулятора для экспериментов с разработанные сети и среду проверки, которая автоматически отвечает на логические запросы, сформулированные в подмножестве логики CTL (по существу, EF, EG, AF, AG без вложенности). Он также позволяет пользователю проверить, является ли данная сеть k-ограниченной для заданного числа k. Алгоритм проверки переводит запросы TAPAAL в UPPAAL и использует механизм проверки UPPAAL, но пользователю не нужно оставлять GUI TAPAAL во время любой фазы проверки модели, а трассировки ошибок отображаются непосредственно в TAPAAL.

(Скриншот TAPAAL (на Ubuntu 10.10))

Установка:

sudo add-apt-repository ppa:tapaal-packaging/tapaal

sudo apt-get update

sudo apt-get install tapaal

edit: Tapaal теперь можно найти на Tapaal

Проверено. Работает. Он основан на PIPE2. Спасибо за ответ. — bacchus, 23 May 2011 в 20:48

nickguletskii · Answer 5 · 2 August 2018 в 03:27

Попробуйте следующее: http://sourceforge.net/projects/pipe2/

2

ответ дан nickguletskii 2 August 2018 в 03:27

1

Проверено. Были некоторые базовые тесты и работы, как и предполагалось. Спасибо за ответ. – bacchus 23 May 2011 в 20:20

user1597605 · Answer 6 · 2 August 2018 в 03:27

Tapaal

Timed-Arc Petri Net (TAPN) является временным расширением классической сетевой модели Петри & lt; ..> Инструмент TAPAAL предлагает графический редактор для рисования моделей TAPN, симулятора для экспериментов с разработанные сети и среду проверки, которая автоматически отвечает на логические запросы, сформулированные в подмножестве логики CTL (по существу, EF, EG, AF, AG без вложенности). Он также позволяет пользователю проверить, является ли данная сеть k-ограниченной для заданного числа k. Алгоритм проверки переводит запросы TAPAAL в UPPAAL и использует механизм проверки UPPAAL, но пользователю не нужно оставлять GUI TAPAAL во время любой фазы проверки модели, а трассировки ошибок отображаются непосредственно в TAPAAL.

(Скриншот TAPAAL (на Ubuntu 10.10))

Установка:

sudo add-apt-repository ppa:tapaal-packaging/tapaal

sudo apt-get update

sudo apt-get install tapaal

edit: Tapaal теперь можно найти на Tapaal

Проверено. Работает. Он основан на PIPE2. Спасибо за ответ. — bacchus, 23 May 2011 в 20:48

nickguletskii · Answer 7 · 4 August 2018 в 19:24

Попробуйте следующее: http://sourceforge.net/projects/pipe2/

2

ответ дан nickguletskii 4 August 2018 в 19:24

1

Проверено. Были некоторые базовые тесты и работы, как и предполагалось. Спасибо за ответ. – bacchus 23 May 2011 в 20:20

user1597605 · Answer 8 · 4 August 2018 в 19:24

Tapaal

Timed-Arc Petri Net (TAPN) является временным расширением классической сетевой модели Петри & lt; ..> Инструмент TAPAAL предлагает графический редактор для рисования моделей TAPN, симулятора для экспериментов с разработанные сети и среду проверки, которая автоматически отвечает на логические запросы, сформулированные в подмножестве логики CTL (по существу, EF, EG, AF, AG без вложенности). Он также позволяет пользователю проверить, является ли данная сеть k-ограниченной для заданного числа k. Алгоритм проверки переводит запросы TAPAAL в UPPAAL и использует механизм проверки UPPAAL, но пользователю не нужно оставлять GUI TAPAAL во время любой фазы проверки модели, а трассировки ошибок отображаются непосредственно в TAPAAL.

(Скриншот TAPAAL (на Ubuntu 10.10))

Установка:

sudo add-apt-repository ppa:tapaal-packaging/tapaal

sudo apt-get update

sudo apt-get install tapaal

edit: Tapaal теперь можно найти на Tapaal

Проверено. Работает. Он основан на PIPE2. Спасибо за ответ. — bacchus, 23 May 2011 в 20:48

nickguletskii · Answer 9 · 6 August 2018 в 03:35

Попробуйте следующее: http://sourceforge.net/projects/pipe2/

2

ответ дан nickguletskii 6 August 2018 в 03:35

1

Проверено. Были некоторые базовые тесты и работы, как и предполагалось. Спасибо за ответ. – bacchus 23 May 2011 в 20:20

user1597605 · Answer 10 · 6 August 2018 в 03:35

Tapaal

Timed-Arc Petri Net (TAPN) является временным расширением классической сетевой модели Петри & lt; ..> Инструмент TAPAAL предлагает графический редактор для рисования моделей TAPN, симулятора для экспериментов с разработанные сети и среду проверки, которая автоматически отвечает на логические запросы, сформулированные в подмножестве логики CTL (по существу, EF, EG, AF, AG без вложенности). Он также позволяет пользователю проверить, является ли данная сеть k-ограниченной для заданного числа k. Алгоритм проверки переводит запросы TAPAAL в UPPAAL и использует механизм проверки UPPAAL, но пользователю не нужно оставлять GUI TAPAAL во время любой фазы проверки модели, а трассировки ошибок отображаются непосредственно в TAPAAL.

(Скриншот TAPAAL (на Ubuntu 10.10))

Установка:

sudo add-apt-repository ppa:tapaal-packaging/tapaal

sudo apt-get update

sudo apt-get install tapaal

edit: Tapaal теперь можно найти на Tapaal

Проверено. Работает. Он основан на PIPE2. Спасибо за ответ. — bacchus, 23 May 2011 в 20:48

user1597605 · Answer 11 · 7 August 2018 в 21:24

Tapaal

Timed-Arc Petri Net (TAPN) является временным расширением классической сетевой модели Петри & lt; ..> Инструмент TAPAAL предлагает графический редактор для рисования TAPN, симулятор для экспериментов с проектируемыми сетями и среда проверки, которая автоматически отвечает на логические запросы, сформулированные в подмножестве логики CTL (по существу EF, EG, AF, AG без вложенности). Он также позволяет пользователю проверить, является ли данная сеть k-ограниченной для заданного числа k. Алгоритм проверки переводит запросы TAPAAL в UPPAAL и использует механизм проверки UPPAAL, но пользователю не нужно оставлять GUI TAPAAL во время любой фазы проверки модели, а трассы ошибок отображаются непосредственно в TAPAAL.

enter image description here [!d5]

(Скриншот TAPAAL (на Ubuntu 10.10))

Установка:

sudo add-apt-repository ppa: tapaal-packaging / tapaal

sudo apt-get update

sudo apt-get install tapaal

edit: Tapaal теперь можно найти на http://www.tapaal.net

nickguletskii · Answer 12 · 7 August 2018 в 21:24

Попробуйте следующее: http://sourceforge.net/projects/pipe2/

2

ответ дан nickguletskii 7 August 2018 в 21:24

nickguletskii · Answer 13 · 10 August 2018 в 09:42

Попробуйте следующее: http://sourceforge.net/projects/pipe2/

2

ответ дан nickguletskii 10 August 2018 в 09:42

user1597605 · Answer 14 · 10 August 2018 в 09:42

Tapaal

Timed-Arc Petri Net (TAPN) является временным расширением классической сетевой модели Петри & lt; ..> Инструмент TAPAAL предлагает графический редактор для рисования TAPN, симулятор для экспериментов с проектируемыми сетями и среда проверки, которая автоматически отвечает на логические запросы, сформулированные в подмножестве логики CTL (по существу EF, EG, AF, AG без вложенности). Он также позволяет пользователю проверить, является ли данная сеть k-ограниченной для заданного числа k. Алгоритм проверки переводит запросы TAPAAL в UPPAAL и использует механизм проверки UPPAAL, но пользователю не нужно оставлять GUI TAPAAL во время любой фазы проверки модели, а трассы ошибок отображаются непосредственно в TAPAAL.

enter image description here [!d5]

(Скриншот TAPAAL (на Ubuntu 10.10))

Установка:

sudo add-apt-repository ppa: tapaal-packaging / tapaal

sudo apt-get update

sudo apt-get install tapaal

edit: Tapaal теперь можно найти на http://www.tapaal.net

nickguletskii · Answer 15 · 13 August 2018 в 15:54

Попробуйте следующее: http://sourceforge.net/projects/pipe2/

2

ответ дан nickguletskii 13 August 2018 в 15:54

1

Проверено. Были некоторые базовые тесты и работы, как и предполагалось. Спасибо за ответ. – bacchus 23 May 2011 в 20:20

user1597605 · Answer 16 · 13 August 2018 в 15:54

Tapaal

Timed-Arc Petri Net (TAPN) является временным расширением классической сетевой модели Петри & lt; ..> Инструмент TAPAAL предлагает графический редактор для рисования TAPN, симулятор для экспериментов с проектируемыми сетями и среда проверки, которая автоматически отвечает на логические запросы, сформулированные в подмножестве логики CTL (по существу EF, EG, AF, AG без вложенности). Он также позволяет пользователю проверить, является ли данная сеть k-ограниченной для заданного числа k. Алгоритм проверки переводит запросы TAPAAL в UPPAAL и использует механизм проверки UPPAAL, но пользователю не нужно оставлять GUI TAPAAL во время любой фазы проверки модели, а трассы ошибок отображаются непосредственно в TAPAAL.

enter image description here [!d5]

(TAPAAL Снимок экрана (на Ubuntu 10.10))

Установка:

sudo add-apt-repository ppa: tapaal-packaging / tapaal

sudo apt-get update

sudo apt-get install tapaal

edit: Tapaal теперь можно найти на http://www.tapaal.net

Проверено. Работает. Он основан на PIPE2. Спасибо за ответ. — bacchus, 23 May 2011 в 20:48

Рекомендация для программного обеспечения для моделирования Petri Nets?

16 ответов

Другие вопросы по тегам:

Похожие вопросы: