# Petrinaut (/brands/petrinaut)



## About Petrinaut [#about-petrinaut]

Tools for working with Petri nets. Visit [Petrinaut](https://petrinaut.org/) for the project and its documentation.

## Logo and icon [#logo-and-icon]

Petrinaut pairs a full-color helmet icon with a custom wordmark. Use the helmet where space is limited, and the wordmark when the name needs to be read. Use the dark lettering on light backgrounds and the light lettering on dark backgrounds. Both versions retain the purple-to-blue gradient.

<BrandAssets brand="petrinaut" />

<BrandStudioLink brand="petrinaut" />

## Primary color [#primary-color]

**Red** is Petrinaut's primary brand color.

<BrandColor brand="petrinaut" />

## Downloads [#downloads]

Use the supplied artwork without redrawing, stretching, or adding effects. Keep enough clear space for the mark to remain legible, and choose a contrasting background.

<BrandDownloads brand="petrinaut" />

See the [Terms of Brand Assets usage](/brands#terms-of-brand-assets-usage) for usage guidance.