Content deleted Content added
Steven Kelly (talk | contribs) m Corrected DSM double redirect |
Steven Kelly (talk | contribs) m Corrected DSM double redirect |
||
Line 10:
* [[Petri net]]s use variations on exactly one diagramming technique and topology, namely the [[bipartite graph]]. The simplicity of its basic user interface easily enabled extensive tool support over the years, particularly in the areas of model checking, graphically-oriented simulation, and software verification.
* [[IDEF]] is a family of modeling languages, the most notable of which include IDEF0, for functional modeling, and IDEF1 for information modeling.
* [[SysML]] is a [[
==See also==
|