SIRIO MCP Server

A Model Context Protocol (MCP) server implementation that exposes powerful Petri Net modeling and analysis capabilities through the SIRIO/OrisTool library. This server enables AI assistants (like Claude, Gemini) to create, manipulate, and analyze Generalized Stochastic Petri Nets (GSPNs) through a standardized tool-calling interface.

Purpose

This project bridges the gap between AI-powered development tools and formal modeling techniques by:

• Enabling AI-Driven Petri Net Modeling: AI assistants can programmatically create and manipulate Petri Nets through natural language interactions
• Formal Analysis Integration: Provides access to steady-state and transient analysis capabilities for stochastic systems
• Educational Tool: Helps students and researchers learn Petri Net concepts through interactive AI-guided modeling
• Rapid Prototyping: Allows quick creation and validation of concurrent system models without manual tool usage

The server uses the SIRIO/OrisTool library, a powerful Java framework for modeling and analyzing stochastic systems.

Requirements

Software Prerequisites

• Java Development Kit (JDK) 21 or higher (tested with JDK 25)
• Apache Maven 3.6+ (included via Maven Wrapper)
• Visual Studio Code with GitHub Copilot extension
• Windows PowerShell (for Windows users) or equivalent shell

Maven Dependencies

The project uses Spring Boot 3.5.7 and includes:

• spring-ai-starter-mcp-server - MCP protocol implementation
• sirio (org.oris-tool) v2.0.5 - Petri Net modeling and analysis
• jackson-databind - JSON serialization for analysis results

Building the Project

1. Clone the Repository

git clone https://github.com/NicMen99/SIRIO_mcp_server.git
cd SIRIO_mcp_server

2. Build with Maven

Use the Maven Wrapper to build the project:

.\mvnw.cmd clean package

This command will:

• Compile the Java source files
• Run tests (if available)
• Package the application into an executable JAR file
• Output the JAR to target/sirio_mcp_server-0.0.1-SNAPSHOT.jar

3. Verify the Build

Check that the JAR file was created successfully:

ls target\sirio_mcp_server-0.0.1-SNAPSHOT.jar

Setting Up MCP in VS Code

To enable GitHub Copilot to communicate with the SIRIO MCP server, you need to configure the MCP connection using STDIO transport.

1. Create MCP Configuration Directory

Create the .vscode directory in your project root if it doesn't exist:

mkdir .vscode -Force

2. Create mcp.json Configuration

Create a file named mcp.json in the .vscode directory with the following content:

{
  "servers": {
    "sirio": {
      "command": "C:\\Program Files\\Java\\jdk-25\\bin\\java.exe",  // or wherever you have the java executable for the desired version
      "args": [
        "-jar",
        "C:\\PATH-TO-YOUR-PROJECT\\target\\sirio_mcp_server-0.0.1-SNAPSHOT.jar"
      ]
    }
  }
}

Important Configuration Notes:

• Absolute Paths: Use the full absolute path to both the Java executable and the JAR file
• Escaped Backslashes: Use double backslashes (\\) in Windows paths
• Java Location: Update the command path to match your JDK installation
• JAR Location: Update the JAR path to match your project location
• Server Name: The key "sirio" can be changed, but it identifies this server in VS Code

3. Debug Mode (Optional)

To enable remote debugging, uncomment the debug args in mcp.json:

{
  "servers": {
    "sirio": {
      "command": "C:\\Program Files\\Java\\jdk-25\\bin\\java.exe",  // or wherever you have the java executable for the desired version
      "args": [
        "-agentlib:jdwp=transport=dt_socket,server=y,suspend=y,address=5005",
        "-jar",
        "C:\\PATH-TO-SIRIO_mcp_server\\target\\sirio_mcp_server-0.0.1-SNAPSHOT.jar"
      ]
    }
  }
}

Thi

... View full README on GitHub