102 search results - page 21 / 21 » Petri Nets as Models of Linear Logic |
AINA
2003
IEEE
13 years 9 months ago
2003
IEEE
Condition Data Flow Diagrams (CDFDs) are a formalized notation resulting from the integration of Yourdon Data Flow Diagrams, Petri Nets, and pre-post notation. They are used in th...
SSD
2005
Springer
13 years 11 months ago
2005
Springer
Networks often form the core of many users’ spatial databases. Networks are used to support the rapid navigation and analysis of linearly connected data such as that found in tra...