framework-parent org.bigraphs.framework 2.3.1 4.0.0 bigraph-simulation Bigraph Framework - Simulation The simulation module provides bigraph matching and rewriting capabilities for implementing bigraphical reactive systems. It includes a model checker and an algorithm for canonical string encoding of bigraphs. maven-install-plugin install-libs-jlibbig none install-libs-emf-compare none install-libs-bighuggies-bisimulation none maven-resources-plugin copy-resources true org.codehaus.mojo exec-maven-plugin true maven-shade-plugin shade package shade true it.uniud.mads.jlibbig:jlibbig bighuggies:bisimulation it.uniud.mads.jlibbig:jlibbig it/** bighuggies:bisimulation bighuggies/** *:* META-INF/*.SF META-INF/*.DSA META-INF/*.RSA maven-deploy-plugin org.sonatype.central central-publishing-maven-plugin org.choco-solver choco-solver 4.10.2 compile org.json json 20190722 compile org.bigraphs.framework bigraph-core 2.3.1 compile org.bigraphs.framework bigraph-converter 2.3.1 compile org.bigraphs.framework bigraph-visualization 2.3.1 compile org.eclipse.emf org.eclipse.emf.ecore 2.40.0 compile org.eclipse.emf org.eclipse.emf.ecore.xmi 2.39.0 compile com.google.guava guava 33.4.8-jre compile org.jgrapht jgrapht-ext 1.5.2 compile org.eclipse.collections eclipse-collections-api 11.1.0 compile org.eclipse.collections eclipse-collections 11.1.0 compile io.r2dbc r2dbc-proxy 1.1.6.RELEASE provided org.springframework.boot spring-boot-configuration-processor 2.3.1.RELEASE provided slf4j-log4j12 org.slf4j log4j log4j logback-classic ch.qos.logback org.springframework.boot spring-boot-autoconfigure 2.3.1.RELEASE provided slf4j-log4j12 org.slf4j log4j log4j logback-classic ch.qos.logback org.springframework.boot spring-boot-starter-test 2.3.1.RELEASE test slf4j-log4j12 org.slf4j log4j log4j logback-classic ch.qos.logback json-path com.jayway.jsonpath spring-boot-starter org.springframework.boot spring-boot-test org.springframework.boot spring-boot-test-autoconfigure org.springframework.boot jakarta.xml.bind-api jakarta.xml.bind assertj-core org.assertj hamcrest org.hamcrest junit-jupiter org.junit.jupiter junit-vintage-engine org.junit.vintage mockito-core org.mockito mockito-junit-jupiter org.mockito jsonassert org.skyscreamer spring-test org.springframework xmlunit-core org.xmlunit commons-io commons-io 2.20.0 test org.junit.jupiter junit-jupiter-api 5.6.2 test apiguardian-api org.apiguardian opentest4j org.opentest4j junit-platform-commons org.junit.platform org.junit.jupiter junit-jupiter-engine 5.6.2 test junit-platform-engine org.junit.platform apiguardian-api org.apiguardian org.slf4j slf4j-log4j12 1.7.30 provided log4j log4j 1.2.17 provided org.sonatype.central central-publishing-maven-plugin 0.8.0 compile