| 
|
QuoteRef: peteJL_1981
topics >
all references >
ThesaHelp:
references p-r
Topic:
Petri net transitions and events
Topic:
Petri net
Topic:
time
Reference
Peterson, J.L., "Petri net theory and the modeling of systems", Prentice-Hall, Englewood Cliffs, N.J., 1981, O Excellent book presenting Petri nets as developed at MIT and elsewhere (called 'Special Net Theory' by Petri). It covers the ways of defining Petri nets, analyzing them, and extending them. It compares Petri nets with other ways of modeling parallel computations. It concludes with a complete, annotated bibliography. (cbb 6/83) . Google
28 ;;Quote: Petri's original firing rule required no tokens at the outputs; a form of zero testing
28+;;Quote: Petri nets simulate Turing machines if they can test for zero
37 ;;Quote: primitive events in Petri nets are instantaneous and nonsimultaneous; simplifies analysis
37 ;;Quote: if time is a continuous real variable, then simultaneous events have measure zero
37 ;;Quote: a nonprimitive event in a Petri net is modeled by a start event and an end event
38 ;;Quote: in a Petri net can represent nonprimitive events and subnets by a box with bars for primitive events
ThesaHelp: references p-r (245 items)
Topic: Petri net transitions and events (21 items)
Topic: Petri net (44 items)
Topic: time (48 items)