PetriScript es un lenguaje de modelado para redes Petri , diseñado por Alexandre Hamez y Xavier Renault. [1] La plataforma CPN-AMI proporciona muchas herramientas para trabajar con redes de Petri, como herramientas de verificación y verificación de modelos. [2]
Originalmente, las redes de Petri simples se creaban a través del diseño gráfico , pero la investigación realizada internamente en LIP6 reveló que era necesario automatizar tales tareas. [3] PetriScript fue diseñado para proporcionar algunas facilidades en el modelado de lugares-transición y redes de Petri coloreadas dentro de la plataforma CPN-AMI. El objetivo principal de Petriscript es automatizar las operaciones de modelado en redes de Petri fusionando, creando y conectando nodos . Admite casi todo lo necesario, como macros , control de bucles, listas y expresiones aritméticas y de cadena , y bloquea la intervención del usuario tanto como sea posible. Su sintaxis es similar a Ada .