Initial import of ltsa (Labelled Transition System Analyser), version 2.2:

A model is a simplified representation of the real world.  Engineers
use models to gain confidence in the adequacy and validity of a proposed
design.

Models are described using state machines, known as Labelled Transition
Systems (LTS).  These are described textually as Finite State Processes
(FSP) and displayed and analysed by the LTSA analysis tool.

This package provides the LTSA utility exposed above.  It is specially
useful to be used together with the 'Concurrency: State Models & Java
Programs' book, whose page is at http://www-dse.doc.ic.ac.uk/concurrency/.

1 files changed, 189 insertions, 0 deletions

diff --git a/devel/ltsa/PLIST b/devel/ltsa/PLIST
new file mode 100644
index 00000000000..fa880b52b47
--- /dev/null
+++ b/devel/ltsa/PLIST
@@ -0,0 +1,189 @@
+@comment $NetBSD: PLIST,v 1.1.1.1 2004/02/29 22:21:19 jmmv Exp $
+bin/ltsa
+lib/ltsa/jel.jar
+lib/ltsa/ltsa.jar
+lib/ltsa/ltsa1.ico
+lib/ltsa/ltsafile.ico
+lib/ltsa/natutil.jar
+lib/ltsa/scenebeans.jar
+lib/ltsa/xml.jar
+share/doc/ltsa/fspv2.pdf
+share/doc/ltsa/readme.txt
+share/examples/ltsa/chapter-examples/chapter10_lts/asynchmsgdemo.lts
+share/examples/ltsa/chapter-examples/chapter10_lts/port.lts
+share/examples/ltsa/chapter-examples/chapter10_lts/port_recursive.lts
+share/examples/ltsa/chapter-examples/chapter10_lts/port_recursive_overflow.lts
+share/examples/ltsa/chapter-examples/chapter10_lts/rendezvousentrydemo.lts
+share/examples/ltsa/chapter-examples/chapter10_lts/synchmsgadditionallts.lts
+share/examples/ltsa/chapter-examples/chapter10_lts/synchmsgdemo.lts
+share/examples/ltsa/chapter-examples/chapter11_lts/abstractprimes.lts
+share/examples/ltsa/chapter-examples/chapter11_lts/announcerlstener.lts
+share/examples/ltsa/chapter-examples/chapter11_lts/boxmover.lts
+share/examples/ltsa/chapter-examples/chapter11_lts/primes.lts
+share/examples/ltsa/chapter-examples/chapter11_lts/supervisorworker-non-term.lts
+share/examples/ltsa/chapter-examples/chapter11_lts/supervisorworker-revised.lts
+share/examples/ltsa/chapter-examples/chapter11_lts/tuplespace.lts
+share/examples/ltsa/chapter-examples/chapter12_lts/countdown.lts
+share/examples/ltsa/chapter-examples/chapter12_lts/doubleclick.lts
+share/examples/ltsa/chapter-examples/chapter12_lts/interval.lts
+share/examples/ltsa/chapter-examples/chapter12_lts/jitter.lts
+share/examples/ltsa/chapter-examples/chapter12_lts/maximal_progress.lts
+share/examples/ltsa/chapter-examples/chapter12_lts/parcel_router.lts
+share/examples/ltsa/chapter-examples/chapter12_lts/space_invaders.lts
+share/examples/ltsa/chapter-examples/chapter12_lts/timed_producer_consumer.lts
+share/examples/ltsa/chapter-examples/chapter12_lts/timeout.lts
+share/examples/ltsa/chapter-examples/chapter12_lts/tproducer_consumer_store.lts
+share/examples/ltsa/chapter-examples/chapter2_lts/buff.lts
+share/examples/ltsa/chapter-examples/chapter2_lts/coin.lts
+share/examples/ltsa/chapter-examples/chapter2_lts/count.lts
+share/examples/ltsa/chapter-examples/chapter2_lts/countdown.lts
+share/examples/ltsa/chapter-examples/chapter2_lts/drinks.lts
+share/examples/ltsa/chapter-examples/chapter2_lts/exercises/ex2-1-iii.lts
+share/examples/ltsa/chapter-examples/chapter2_lts/exercises/ex2-1-vi.lts
+share/examples/ltsa/chapter-examples/chapter2_lts/faulty.lts
+share/examples/ltsa/chapter-examples/chapter2_lts/oneshot.lts
+share/examples/ltsa/chapter-examples/chapter2_lts/sum.lts
+share/examples/ltsa/chapter-examples/chapter2_lts/switch.lts
+share/examples/ltsa/chapter-examples/chapter2_lts/thread.lts
+share/examples/ltsa/chapter-examples/chapter2_lts/trafficlight.lts
+share/examples/ltsa/chapter-examples/chapter2_lts/writer.lts
+share/examples/ltsa/chapter-examples/chapter3_lts/bill_ben.lts
+share/examples/ltsa/chapter-examples/chapter3_lts/client_server.lts
+share/examples/ltsa/chapter-examples/chapter3_lts/client_serverv2.lts
+share/examples/ltsa/chapter-examples/chapter3_lts/clock_radio.lts
+share/examples/ltsa/chapter-examples/chapter3_lts/desktop.ini
+share/examples/ltsa/chapter-examples/chapter3_lts/factory.lts
+share/examples/ltsa/chapter-examples/chapter3_lts/itch_scratch.lts
+share/examples/ltsa/chapter-examples/chapter3_lts/maker_user.lts
+share/examples/ltsa/chapter-examples/chapter3_lts/maker_userv2.lts
+share/examples/ltsa/chapter-examples/chapter3_lts/printer_share.lts
+share/examples/ltsa/chapter-examples/chapter3_lts/resource_share.lts
+share/examples/ltsa/chapter-examples/chapter3_lts/switches.lts
+share/examples/ltsa/chapter-examples/chapter3_lts/thread_demo.lts
+share/examples/ltsa/chapter-examples/chapter3_lts/twobuff.lts
+share/examples/ltsa/chapter-examples/chapter3_lts/user.lts
+share/examples/ltsa/chapter-examples/chapter4_lts/counter.lts
+share/examples/ltsa/chapter-examples/chapter4_lts/counter_lockvar.lts
+share/examples/ltsa/chapter-examples/chapter4_lts/display_counter.lts
+share/examples/ltsa/chapter-examples/chapter4_lts/garden.lts
+share/examples/ltsa/chapter-examples/chapter4_lts/garden_lockvar.lts
+share/examples/ltsa/chapter-examples/chapter5_lts/boundedbuffer.lts
+share/examples/ltsa/chapter-examples/chapter5_lts/boundedbuffer_fixedsema.lts
+share/examples/ltsa/chapter-examples/chapter5_lts/boundedbuffer_nestedsema.lts
+share/examples/ltsa/chapter-examples/chapter5_lts/carpark.lts
+share/examples/ltsa/chapter-examples/chapter5_lts/semademo.lts
+share/examples/ltsa/chapter-examples/chapter5_lts/semaphore.lts
+share/examples/ltsa/chapter-examples/chapter6_lts/deadlockfreephilosophers.lts
+share/examples/ltsa/chapter-examples/chapter6_lts/diningphilosophers.lts
+share/examples/ltsa/chapter-examples/chapter6_lts/maze.lts
+share/examples/ltsa/chapter-examples/chapter6_lts/move.lts
+share/examples/ltsa/chapter-examples/chapter6_lts/printer-scanner-reorder.lts
+share/examples/ltsa/chapter-examples/chapter6_lts/printer-scanner-timeout.lts
+share/examples/ltsa/chapter-examples/chapter6_lts/printer-scanner.lts
+share/examples/ltsa/chapter-examples/chapter7_lts/actuator.lts
+share/examples/ltsa/chapter-examples/chapter7_lts/calm.lts
+share/examples/ltsa/chapter-examples/chapter7_lts/coin.lts
+share/examples/ltsa/chapter-examples/chapter7_lts/congestedsinglelanebridge.lts
+share/examples/ltsa/chapter-examples/chapter7_lts/high_low.lts
+share/examples/ltsa/chapter-examples/chapter7_lts/mutex_property.lts
+share/examples/ltsa/chapter-examples/chapter7_lts/polite.lts
+share/examples/ltsa/chapter-examples/chapter7_lts/readerswriters.lts
+share/examples/ltsa/chapter-examples/chapter7_lts/readerswritersfair.lts
+share/examples/ltsa/chapter-examples/chapter7_lts/readerswriterspriority.lts
+share/examples/ltsa/chapter-examples/chapter7_lts/safe actuator.lts
+share/examples/ltsa/chapter-examples/chapter7_lts/singlelanebridge.lts
+share/examples/ltsa/chapter-examples/chapter7_lts/singlelanebridgedeadlock.lts
+share/examples/ltsa/chapter-examples/chapter7_lts/singlelanebridgefair.lts
+share/examples/ltsa/chapter-examples/chapter7_lts/twocoin.lts
+share/examples/ltsa/chapter-examples/chapter8_lts/cruisecontrol.lts
+share/examples/ltsa/chapter-examples/chapter8_lts/revisedcruisecontrol.lts
+share/examples/ltsa/chapter-examples/chapter9_lts/allocator.lts
+share/examples/ltsa/chapter-examples/chapter9_lts/golfclub.lts
+share/examples/ltsa/chapter-examples/chapter9_lts/golfclubfifo.lts
+share/examples/ltsa/chapter-examples/chapter9_lts/masterslave.lts
+share/examples/ltsa/sceneanimations/bridge.lts
+share/examples/ltsa/sceneanimations/channel.lts
+share/examples/ltsa/sceneanimations/diningphilosophers.lts
+share/examples/ltsa/sceneanimations/fairbbridge.lts
+share/examples/ltsa/sceneanimations/fmc.lts
+share/examples/ltsa/sceneanimations/helicopter.lts
+share/examples/ltsa/sceneanimations/lottery.lts
+share/examples/ltsa/sceneanimations/maze.lts
+share/examples/ltsa/sceneanimations/puzzle.lts
+share/examples/ltsa/sceneanimations/tictactoe.lts
+share/examples/ltsa/sceneanimations/window.lts
+share/examples/ltsa/sceneanimations/xml/ball.xml
+share/examples/ltsa/sceneanimations/xml/bridge.xml
+share/examples/ltsa/sceneanimations/xml/cellxo.xml
+share/examples/ltsa/sceneanimations/xml/channel.xml
+share/examples/ltsa/sceneanimations/xml/copter.xml
+share/examples/ltsa/sceneanimations/xml/copter_track.xml
+share/examples/ltsa/sceneanimations/xml/diners.xml
+share/examples/ltsa/sceneanimations/xml/explosion.xml
+share/examples/ltsa/sceneanimations/xml/fmc.xml
+share/examples/ltsa/sceneanimations/xml/fork.xml
+share/examples/ltsa/sceneanimations/xml/image/ablank.gif
+share/examples/ltsa/sceneanimations/xml/image/bblank.gif
+share/examples/ltsa/sceneanimations/xml/image/bluecar.gif
+share/examples/ltsa/sceneanimations/xml/image/bluecarf.gif
+share/examples/ltsa/sceneanimations/xml/image/bridge.gif
+share/examples/ltsa/sceneanimations/xml/image/cblank.gif
+share/examples/ltsa/sceneanimations/xml/image/channel.gif
+share/examples/ltsa/sceneanimations/xml/image/church.gif
+share/examples/ltsa/sceneanimations/xml/image/cranehead.gif
+share/examples/ltsa/sceneanimations/xml/image/eating.gif
+share/examples/ltsa/sceneanimations/xml/image/explosion1.gif
+share/examples/ltsa/sceneanimations/xml/image/explosion10.gif
+share/examples/ltsa/sceneanimations/xml/image/explosion11.gif
+share/examples/ltsa/sceneanimations/xml/image/explosion12.gif
+share/examples/ltsa/sceneanimations/xml/image/explosion13.gif
+share/examples/ltsa/sceneanimations/xml/image/explosion14.gif
+share/examples/ltsa/sceneanimations/xml/image/explosion15.gif
+share/examples/ltsa/sceneanimations/xml/image/explosion16.gif
+share/examples/ltsa/sceneanimations/xml/image/explosion2.gif
+share/examples/ltsa/sceneanimations/xml/image/explosion3.gif
+share/examples/ltsa/sceneanimations/xml/image/explosion4.gif
+share/examples/ltsa/sceneanimations/xml/image/explosion5.gif
+share/examples/ltsa/sceneanimations/xml/image/explosion6.gif
+share/examples/ltsa/sceneanimations/xml/image/explosion7.gif
+share/examples/ltsa/sceneanimations/xml/image/explosion8.gif
+share/examples/ltsa/sceneanimations/xml/image/explosion9.gif
+share/examples/ltsa/sceneanimations/xml/image/fruitbowl.gif
+share/examples/ltsa/sceneanimations/xml/image/gantry.gif
+share/examples/ltsa/sceneanimations/xml/image/gotleft.gif
+share/examples/ltsa/sceneanimations/xml/image/gotright.gif
+share/examples/ltsa/sceneanimations/xml/image/hungry.gif
+share/examples/ltsa/sceneanimations/xml/image/magnet.gif
+share/examples/ltsa/sceneanimations/xml/image/manucell.gif
+share/examples/ltsa/sceneanimations/xml/image/maze.gif
+share/examples/ltsa/sceneanimations/xml/image/pidgeon.gif
+share/examples/ltsa/sceneanimations/xml/image/redcar.gif
+share/examples/ltsa/sceneanimations/xml/image/skater.gif
+share/examples/ltsa/sceneanimations/xml/image/thinking.gif
+share/examples/ltsa/sceneanimations/xml/lottery.xml
+share/examples/ltsa/sceneanimations/xml/maze.xml
+share/examples/ltsa/sceneanimations/xml/phil.xml
+share/examples/ltsa/sceneanimations/xml/puzzle.xml
+share/examples/ltsa/sceneanimations/xml/smallpuzzle.xml
+share/examples/ltsa/sceneanimations/xml/tictactoe.xml
+share/examples/ltsa/sceneanimations/xml/tile.xml
+share/examples/ltsa/sceneanimations/xml/window.xml
+@dirrm share/examples/ltsa/sceneanimations/xml/image
+@dirrm share/examples/ltsa/sceneanimations/xml
+@dirrm share/examples/ltsa/sceneanimations
+@dirrm share/examples/ltsa/chapter-examples/chapter9_lts
+@dirrm share/examples/ltsa/chapter-examples/chapter8_lts
+@dirrm share/examples/ltsa/chapter-examples/chapter7_lts
+@dirrm share/examples/ltsa/chapter-examples/chapter6_lts
+@dirrm share/examples/ltsa/chapter-examples/chapter5_lts
+@dirrm share/examples/ltsa/chapter-examples/chapter4_lts
+@dirrm share/examples/ltsa/chapter-examples/chapter3_lts
+@dirrm share/examples/ltsa/chapter-examples/chapter2_lts/exercises
+@dirrm share/examples/ltsa/chapter-examples/chapter2_lts
+@dirrm share/examples/ltsa/chapter-examples/chapter12_lts
+@dirrm share/examples/ltsa/chapter-examples/chapter11_lts
+@dirrm share/examples/ltsa/chapter-examples/chapter10_lts
+@dirrm share/examples/ltsa/chapter-examples
+@dirrm share/examples/ltsa
+@dirrm share/doc/ltsa
+@dirrm lib/ltsa