What people are saying - Write a review
We haven't found any reviews in the usual places.
5 other sections not shown
Other editions - View all
activated agencies arrow weight boxes C-F channel cars in filling cars leave filling change from Fig channel occupied channel-agency nets circles complement condition-event nets configuration constant arrow labels consume producer production contact-free counter customers with money design with nets dynamic behavior enabled consumer consumption enabled consumer receipt enabled Fig enter filling station Figure filling station cars filling station entranceway filling station Fig flowcharts four-bit message fulfilled indicated in Fig individual tokens individual-token nets involved leave filling station left pump number of tokens occur parking spaces passive components Petri nets place-transition nets possible post-condition post-set postconditions pre-set preconditions process waiting processed orders processing processed producer-consumer system pumps payment ready dealers customers ready ready dealers receive replaced representation requirements engineering retrieval return keys right pump Sect shows situation software engineering specific stacks storage cell structure system design Token-preserving refinement unfulfilled users variable arrow labels winter or spring