summaryrefslogtreecommitdiff
blob: 617189f8bd24b8b67b3dbad9b9736ea9b8752e80 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
  <herd>sci-electronics</herd>
  <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>