Gentoo Packages

Search

Package Information

Description:

Petrify is a tool for synthesis of Petri nets and asynchronous controllers. Petrify is able to obtain Petri nets with some specific properties: pure, free choice, unique choice, place irredundant, etc... The Petri nets accepted by petrify can also be interpreted as Signal Transition Graphs describing the behavior of asynchronous controllers. Petrify is able to solve the Complete State Coding problem and generate a speed-independent circuit.

Homepage:

http://www.lsi.upc.edu/~jordicf/petrify/

License:

Old-MIT

Versions

Metadata

Description

• Petrify is a tool for synthesis of Petri nets and asynchronous controllers. Petrify is able to obtain Petri nets with some specific properties: pure, free choice, unique choice, place irredundant, etc... The Petri nets accepted by petrify can also be interpreted as Signal Transition Graphs describing the behavior of asynchronous controllers. Petrify is able to solve the Complete State Coding problem and generate a speed-independent circuit.

Maintainers

• Gentoo Electronics Project (sci-electronics@gentoo.org) - Type: project

<pkgmetadata>
	<maintainer type="project">
		<email>sci-electronics@gentoo.org</email>
		<name>Gentoo Electronics Project</name>
	</maintainer>
	<longdescription>
  Petrify is a tool for synthesis of Petri nets and asynchronous controllers.
  Petrify is able to obtain Petri nets with some specific properties: pure, free
  choice, unique choice, place irredundant, etc... The Petri nets accepted by
  petrify can also be interpreted as Signal Transition Graphs describing the
  behavior of asynchronous controllers. Petrify is able to solve the Complete
  State Coding problem and generate a speed-independent circuit.
  </longdescription>
</pkgmetadata>

Lint Warnings

• [Warning] Missing md5-cache for version 4.2-r1. Run 'ebuild <ebuild_file> manifest' or 'egencache' to generate it.

Manifest