| 
|
QuoteRef: bellF6_1991
topics >
all references >
ThesaHelp:
references a-b
Topic:
Petri net transitions and events
Topic:
Petri net
Group:
requirement specification
Topic:
specification and design of distributed systems
Topic:
automation
Topic:
concurrency
Topic:
path expression
Reference
Bell, F., Grosspietsch, K.-E., "Specification of fault-tolerant system issues by predicate/transition nets and regular expressions--approach and case study", IEEE Transactions on Software Engineering, 17, 6, pp. 513-526, June 1991. Google
514 ;;Quote: predicate/transition (PrT) Petri nets use high-level transitions/places, algebraic/logical conditions, and distinguishable tokens
514 ;;Quote: specify system by step-wise refinement of predicate transition nets and regular expressions; tested with model of an automated warehouse
514+;;Quote: use predicate transition nets for modeling concurrency; use regular expressions to model sequential behavior
ThesaHelp: references a-b (396 items)
Topic: Petri net transitions and events (21 items)
Topic: Petri net (44 items)
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)