Quote: Petri nets feature proper concurrency; i.e., the priority of causality over temporal order, and partial independence [»petrCA_1996]

Quote: the firing of a Petri net transition is instantaneous and nonsimultaneous; a primitive event [»peteJL9_1977]

Quote: primitive events in Petri nets are instantaneous and nonsimultaneous; simplifies analysis [»peteJL_1981]

Quote: a Petri net transition is an elementary process that can not be subdivided; occurs as one act [»petrCA1_1966]

Quote: for atomic objects, a transition can have only one pre-state and post-state while states can have multiple pre/post-transitions [»holtAW11_1980]

Quote: a Petri net is a relation defining which new states replace which new states when a transition occurs [»petrCA_1996]

Quote: in a Petri-net, a process consumes all products in its pre-set and produces its post-set; a product is produced or consumed by any process [»holtAW_1979]

Quote: Petri's original firing rule required no tokens at the outputs; a form of zero testing [»peteJL_1981]

Quote: a Petri net transition fires when each of its input places has a token; firing moves a token to each of its output places [»ramaCV9_1980]

Quote: predicate/transition (PrT) Petri nets use high-level transitions/places, algebraic/logical conditions, and distinguishable tokens [»bellF6_1991]

Quote: coincidence in a system occurs when one transition always occurs with another; e.g., enter a train as leave the platform [»holtAW3_1979]

Quote: coincident transitions imply that two roles interact in a common activity; the transitions express the same fact [»holtAW3_1979]

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 [»petrCA_1996]

Quote: an interaction occurs when all the needed resources are present; represent by moving markers from pre-states to post-states [»holtAW3_1979]

Quote: interaction is the atom of behavior of the calculus of communication systems; i.e., passing a datum between processes [»milnR1_1993]

Quote: an interaction transmits a name (a means of access) from one process to another

Quote: a conflict in a Petri net occurs when an object is on the left-hand side of multiple actions; indeterminate which actions actually occurs [»petrCA1_1966]

Quote: in a conflict-free net, the action is fully specified; otherwise have an incomplete net with information supplied from elsewhere [»petrCA1_1966]

Quote: a conflict in a Petri net occurs when an action can deactivate other actions

Quote: a nonprimitive event in a Petri net is modeled by a start event and an end event [»peteJL_1981]

Quote: a Petri net treats time as a partial order on event occurrence; no inherent measure of time [»peteJL9_1977]