Описание тега cpn-tools

Описание тега Вопросы с тегом
Questions related to use of CPN Tools, a tool for editing, simulating, and analyzing Colored Petri nets.
1 ответ

Создание токенов со случайным значением

В петрине, показанном ниже, у меня проблема с созданием токенов со случайным значением вместо input2, так как функция rand(), похоже, не работает. Есть ли другой способ сделать это?
20 сен '16 в 08:19
0 ответов

CPN ML: как я могу получить продукт, содержащий определенный элемент, из списка

Я пытаюсь создать функцию с аргументами a и bs, которая проверит, содержит ли список bs продукт, первым элементом которого является a. Если список bs содержит продукт, первым элементом которого является a, то этот продукт возвращается. Функция выдае…
29 мар '18 в 20:26
1 ответ

Как написать несколько условий в if заявление в cpn ml?

Я пишу код языка CPN мл, и я почти новичок. Я хотел знать, как я могу написать 2 или несколько условий в условии if? Я имею в виду, что хочу "и" несколько условий, чтобы все они были правильными одновременно. Вот код Могу ли я разделить условия с по…
16 янв '17 в 17:26
0 ответов

Создание журналов для интеллектуального анализа процессов на модели документооборота

У меня есть модель рабочего процесса в бумажном формате, и я хочу проверить, работает ли она в ProM (программное обеспечение для интеллектуального анализа процессов). Поскольку ProM принимает журналы событий в качестве входных данных. Но у меня нет …
08 мар '17 в 08:15
1 ответ

CPN Tools - Исключительная компиляция поднимается с прерванным анализом

Я создаю диаграмму последовательности сообщений (MSC) для моей модели. У меня есть следующий код в переходе, и он работает: input (p_id, p_cert, v_id, v_cert); action MSC.addEvent(msc, p, i, func_to_concat(p_id, p_cert)); if v_cred(p_id, p_cert, v_i…
07 дек '18 в 18:04
1 ответ

Как использовать тип UNION для получения разных типов в одном месте CPN?

Я хочу использовать объединение таким образом, чтобы место могло получать два разных типа "запроса" в моей модели Цветной сети Петри. У меня есть следующие декларации: colset AUTHENTICATION = product INT * STRING; colset REQUEST_PUB = product AUTHEN…
22 июл '19 в 20:18
0 ответов

Как получить элементы типа UNION?

У меня есть следующие декларации: colset AUTHENTICATION = product INT * STRING; colset REQUEST_PUB = product AUTHENTICATION * STRING * REAL; colset REQUEST_SUB = product AUTHENTICATION * STRING * INT; colset REQUEST_PUBSUB = union pub_req:REQUEST_PU…
22 июл '19 в 23:51
0 ответов

Моделирование межсерверного перехода в CPN Tools

TL;DR: Я пытаюсь создать переход "тройной сервер" с экспоненциальным временем срабатывания на CPN Tools для стохастически синхронизированной сети Петри. Я пробовал два подхода, но оба столкнулись с некоторыми ошибками или ограничениями моделирования…
03 июл '20 в 22:59
1 ответ

Синтаксическая ошибка: замена TYVAR на SEMICOLON CPN Tools

Изображение синтаксической ошибки Изображение синтаксической ошибки Что здесь подразумевается под TYVAR и как ее разрешить, чтобы при ее анализе возникла ошибка?
26 сен '19 в 08:15
0 ответов

подключаемый модуль выпускного вечера нарушения конфиденциальности

Я пытался использовать подключаемый модуль Prom нарушения конфиденциальности. подключаемый модуль требует два входа: журнал событий и модель CPN и дает два выхода: файл XML, описывающий все отклонения журнала событий от модели процесса, и диаграмма …
08 май '20 в 22:02
0 ответов

Могу ли я установить правило огня, чтобы изменить цвет токена в цветной сети Петри

Могу ли я установить правило огня для изменения цвета токена в цветной сети Петри? Например, я определил: токен с цветом A превратился в цвет B при срабатывании перехода. Я хочу написать это в своей статье, возможно ли это правило?
10 ноя '21 в 16:03
0 ответов

Какова формула запроса ASK-CTL для иерархической модели сети Петри?

Я пытаюсь проверить, выполняется ли этот предикат в иерархической модели сети Петри, но я получил ошибку, показанную на рисунке. Ошибка запроса ASK-CTL
16 ноя '21 в 08:47
1 ответ

Как создать индексированный целочисленный colset в CPN-Tools?

Как создать индексируемый, легко управляемый, int Colset? Мне нужно передать целые числа по индексу в функцию перехода, и я думаю о чем-то с таким индексом, как colset PH = index ph с 1..n
19 ноя '21 в 17:41
1 ответ

Ошибка оператора деления в стандартных инструментах ml и Cpn

Я новичок в стандартном мл и использую инструменты cpn. У меня есть некоторые константы: val PHY=120; val RB=1; Я хочу рассчитать PHY/RB, тогда я создал val x=PHY/RB;в инструментах cpn, но возникает ошибка, когда я пишу оператор деления, в чем пробл…
24 янв '21 в 11:31
0 ответов

Ошибка в коде SML с функциями высшего порядка

Я пытаюсь выбрать минимальный элемент в списке на основе третьего значения его элементов. Но, кажется, проблема в том, что я использую функции более высокого порядка в функции min_proc. (Я использую SML в CPN Tools) fun min_process(p1: DATA, p2: DAT…
12 дек '20 в 23:32
1 ответ

реальный набор цветов в инструментах cpn и sml

Я новичок в инструментах cpn и стандартном языке мл. Я хочу определить реальный набор цветов в инструментах cpn, но он показывает ошибку: real are not supported in cpn tools. Как я могу сделать это, не меняя IDE? спасибо за помощь.
25 янв '21 в 07:27
1 ответ

В CPN-Tools создайте целочисленный набор столбцов, который действует как индекс.

Я новичок в CPN-Tools и ознакомился с некоторыми реальными примерами на веб-сайте. В моей сети я хотел бы иметь набор столбцов с положительными целыми значениями, как показано на этом рисунке. Проблема с вышеупомянутым MWE заключается в том, что вся…
27 май '22 в 20:47
0 ответов

CNPTools, как создать концептуальный график

У меня есть концепция моей графики, но я не знаю, как ее реализовать в CNPTools. Стрелы — это связь между Местом и Переходом. соединения: дуга: ввод в InitializeInput, из InitializeInput в Chunks, из Chunks в ComputePrimeTwins, из Chunks в Distribut…
13 май '23 в 20:40