Petriscript
id:
petriscript-307-9762485
title:
Petriscript
text:
PetriScript is a modeling language for Petri nets, designed by Alexandre Hamez and Xavier Renault. The CPN-AMI platform provides many tools to work on Petri nets, such as verifying and model-checking tools. Originally, simple Petri nets were created through graphic design, but research conducted internally at LIP6 revealed that it was needed to automate such tasks. PetriScript was designed to provide some facilities in modeling places-transition and coloured Petri nets within the CPN-AMI platfor
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Petriscript
date created:
date modified:
2024-01-07T00:12:23Z
main entity:
{"identifier":"Q7178829","url":"https://www.wikidata.org/entity/Q7178829"}
image:
{"content_url":"https://upload.wikimedia.org/wikipedia/en/c/ca/Trains.png","width":1071,"height":962}
fields total:
13
integrity:
14