kpriv/pkgsrc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
pkgsrc/devel/ltsa/PLIST
jmmv 6c28801faa 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/.
2004-02-29 22:21:19 +00:00

189 lines
11 KiB
Text
Raw Blame History

@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
Reference in a new issue View git blame Copy permalink