Map
Index
Random
Help
th

QuoteRef: peteJL_1981

topics > all references > ThesaHelp: references p-r



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

Quotations
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


Related Topics up

ThesaHelp: references p-r (245 items)
Topic: Petri net transitions and events (21 items)
Topic: Petri net (44 items)
Topic: time (48 items)

Collected barberCB 6/83
Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.