Quote: specify system by step-wise refinement of predicate transition nets and regular expressions; tested with model of an automated warehouse

Quotation Skeleton

In the following we propose to deploy [predicate/transition (PrT) nets] for system modeling during the design and specification phase. Therefore … model all purely sequential details of the system … Then the use of PrT net models for … we introduce an approach to extend the inner … [PrT] transitions that incorporates checking mechanisms based on regular expressions. … [p. 520] In this section the feasibility of the … management system as utilized in many trading companies. … the photograph in Fig. 9 displays the overall … [model] and its components.   Google-1   Google-2

Copyright clearance needed for quotation.

Additional Titles

Quote: use predicate transition nets for modeling concurrency; use regular expressions to model sequential behavior

Related Topics

Group: requirement specification   (11 topics, 306 quotes)
Topic: specification and design of distributed systems (14 items)
Topic: automation (15 items)
Topic: concurrency (33 items)
Topic: path expression (14 items)