Map
Index
Random
Help
th

QuoteRef: petrCA_1996

topics > all references > ThesaHelp: references p-r



ThesaHelp:
references p-r
Topic:
Petri net
Topic:
Petri net transitions and events
Topic:
concurrency
Topic:
event time
Topic:
discrete vs. continuous

Reference

Petri, C.A., "Nets, time and space", Theoretical Computer Science, 153, 1996, pp. 3-48. Google

Quotations
abstract ;;Quote: review of Petri net theory--axioms, definitions, compilation, continuous variables, limits of precision
3 ;;Quote: a Petri net is a relation defining which new states replace which new states when a transition occurs
4 ;;Quote: Petri nets feature proper concurrency; i.e., the priority of causality over temporal order, and partial independence
4+;;Quote: Petri nets treats continuous motion and interconnects other models
24 ;;Quote: can judge incidence between states or transitions but not the coincidence of either; e.g., a clock dial is between 1 and 2 vs. exactly 1; i.e., continuous motion


Related Topics up

ThesaHelp: references p-r (245 items)
Topic: Petri net (44 items)
Topic: Petri net transitions and events (21 items)
Topic: concurrency (33 items)
Topic: event time (44 items)
Topic: discrete vs. continuous (47 items)

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