Group: digital communication
Group: machine model
Topic: actor machines
Topic: artificial neuron nets
Topic: communicating sequential processes
Topic: computer as state machine
Topic: concurrency
Topic: controlled browsing of hypertext
Topic: data flow machines
Topic: entityrelationship database model
Topic: flow diagrams and flow charts
Topic: formal methods and languages
Topic: local vs. global
Topic: models of parallel computation
Topic: Petri net transitions and events
Topic: restricted use of global variables
Topic: spatial vs. temporal representation
Topic: specification and design of distributed systems
Topic: state machine
Topic: topology
Topic: Turing machine
 
Subtopic: Petri net as places, transitions, marking
Quote: review of Petri net theoryaxioms, definitions, compilation, continuous variables, limits of precision [»petrCA_1996]
 Quote: a Petri net has circles (places) and bars (transitions); a marking is a pattern of tokens at places [»ramaCV9_1980]
 Quote: a marked graph shows where items flow and what they meet, while a state transition diagram shows their function [»holtAW_1970]
 Quote: Petri netan edge between circle x and square a means object x is found at location a
 Quote: in Petri net theory define an object as a bit at a location; an object does not 'move' [»petrCA1_1966]
 Quote: in general net theory, boxes denote productive activities, circles denote places for storing resources, and arrows denote accessibility [»petrCA10_1979]
 Quote: model system evolution with events, states, and conditions
 Quote: a system behavior is an alternating sequence of states (interface) and agents (system or environment) [»abadM1_1993]
 Subtopic: Petri net as topology
Quote: a state space of regions and boundaries forms a topology of open and closed points; isomorphic with undirected Petri nets [»holtAW11_1980]
 Quote: use a Petri net to represent an object at several, overlapping locations; e.g., Venn diagram [»holtAW_1979]
 Subtopic: arcs of a Petrinet
Quote: the arcs of a Petrinet are as real as the objects themselves [»holtAW_1979]
 Quote: the connexions of a switching element (a,b,c) are its domains of operation; at these places, it perceives 0 and 1objects [»petrCA1_1966]
 Quote: a computer system can be seen as a medium for communicating messages within a group [»holtAW11_1966]
 Quote: the old conception of computation treated wires as idealized, instantaneous connections [»hillWD_1985]
 Quote: in computers, wires are much of the cost, space and delay times
 Quote: a Petri net can be an infinite net because its parts can not communicate with arbitrarily far away parts [»petrCA1_1966]
 Subtopic: physically realistic, local properties
Quote: Petri net theory rejects all global properties [»petrCA1_1966]
 Quote: in Petri net theory, discrete objects are combined and produced by finite techniques [»petrCA1_1966]
 Quote: a system theory should assume that all resources are limited; including spacetime [»petrCA10_1979]
 Quote: Petri net theory assumes upper bounds on signal speed and information density [»petrCA1_1966]
 Quote: use physically realistic properties for idealized logical elements; e.g., quantization, conservation, and reaction [»petrCA1_1966]
 Quote: an 'and' gate only works correctly if its inputs do not change; not physically realizable because of missing reaction [»petrCA1_1966, OK]
 Quote: a realizable 'and' gate has only one transition '1a 1b 0c > 0a 0b 1c'; it produces a reaction [»petrCA1_1966]
 Quote: in dharma theory, all things are made of instantaneous, multiply interacting events called dharmas [»joneTC6_1977]
 Quote: the aim of occam is to describe arbitrarily large systems in terms of localized processing and communication [»mayD_1987]
 Quote: a computer can operate asynchronously, fully parallel, arbitrary extension without interruption [»petrCA1_1966]
 Subtopic: compositional view of systems
Quote: Petri nets treats continuous motion and interconnects other models
 Quote: combine Petri net theory with a compositional view of systems; like combining Turing machines with lambdacalculus [»milnR1_1993]
 Quote: general net theory concerns conceptual levels, concurrency, resources, imprecision, and discrete/continuous [»petrCA10_1979]
 Quote: in a Petri net can represent nonprimitive events and subnets by a box with bars for primitive events [»peteJL_1981]
 Quote: a net morphism respects connectivity and orientation, e.g., all occurrences of seasons to Fall, Winter, Spring, Summer [»petrCA10_1979]
 Subtopic: Petri nets and Turing machines
Quote: any significant extension to Petri nets results in a Turing machine; e.g., inhibitor arcs [»peteJL9_1977]
 Quote: can construct a Turing machine with a Petri net that satisfies the conditions of physical realizability; only need one kind of transition [»petrCA1_1966]
 Quote: Petri constructed a Petri net representation of a Turing machine; used automatic tape constructors; equivalent to an infinite net [»petrCA1_1966, OK]
 Quote: for an automaton to solve any recursive problem it must be extendable without bound [»petrCA1_1966]
 Quote: Petri nets simulate Turing machines if they can test for zero
 Quote: Petri's original firing rule required no tokens at the outputs; a form of zero testing [»peteJL_1981]
 Subtopic: predicate/transition Petri nets
Quote: predicate/transition (PrT) Petri nets use highlevel transitions/places, algebraic/logical conditions, and distinguishable tokens [»bellF6_1991]
 Subtopic: communicating Petri nets
Quote: a net is capable of communication if it has peripheral locations that belong to only one node [»petrCA1_1966]
 Quote: communicate between two Petri nets by identifying peripheral locations
 Quote: realtime systems by connecting programs via the operating system, using finitestate machine or Petri nets, using concurrent programming languages [»benvA9_1991]
 Subtopic: examples
Quote: in Trellis, browsing semantics is based on petri nets [»stotPD12_1988]
 Quote: a Trellis Hypertext is a petri net of links, user interface components, and mappings between them and the display [»stotPD12_1988]
 Quote: model cooperative robots by a petri net with a graphical display [»kakaY9_1985]

Related Topics
Group: digital communication (11 topics, 296 quotes)
Group: machine model (13 topics, 206 quotes)
Topic: actor machines (2 items)
Topic: artificial neuron nets (29 items)
Topic: communicating sequential processes (33 items)
Topic: computer as state machine (20 items)
Topic: concurrency (33 items)
Topic: controlled browsing of hypertext (16 items)
Topic: data flow machines (14 items)
Topic: entityrelationship database model (22 items)
Topic: flow diagrams and flow charts (21 items)
Topic: formal methods and languages (53 items)
Topic: local vs. global (29 items)
Topic: models of parallel computation (33 items)
Topic: Petri net transitions and events (21 items)
Topic: restricted use of global variables (22 items)
Topic: spatial vs. temporal representation (21 items)
Topic: specification and design of distributed systems (14 items)
Topic: state machine (67 items)
Topic: topology (29 items)
Topic: Turing machine (30 items)
