Functional software architecture: Difference between revisions

Content deleted Content added
m Replace magic links with templates per local RfC and MediaWiki RfC
adding links using Google Scholar
Line 56:
 
===Petri Nets===
[[Petri net]]s are known tools to model manufacturing systems.<ref>Silva, M. and Valette, R. (1989); [https://www.researchgate.net/profile/Robert_Valette/publication/220783687_Lecture_Notes_In_Computer_Science/links/09e41514207ca92bc2000000.pdf Petri nets and flexible manufacturing]. Lecture Notes on Computer Science, 424, 374–417.</ref> They are highly expressive and provide good formalisms for the modeling of [[concurrent system]]s. The most advantageous properties are that of simple representation of states, concurrent system transitions and capabilities to model the duration of transitions.
 
Petri nets therefore can be used to model certain business processes with corresponding state and transitions or activities with in and outputs. Moreover, Petri Nets can be used to model different software systems and transitions between these systems. In this way programmers use it as a schematic coding reference.