Gentoo Packages

sci-electronics/petrify (gentoo)

Search

Install

Install this package:

emerge -a sci-electronics/petrify

If the package is masked, you can unmask it using the autounmask tool or standard emerge options:

autounmask sci-electronics/petrify

Or alternatively:

emerge --autounmask-write -a sci-electronics/petrify

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

Version EAPI Keywords Slot
4.2-r1 8 ~amd64 ~x86 0

Metadata

Description

Maintainers

Raw Metadata XML 
<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

Manifest

Type File Size Versions
Unmatched Entries
Type File Size
DIST petrify-4.2-linux.tgz 1117093 bytes