does anybody have a basic reference (if it is possible) that explain how to mathematically model the state of a network. I assume that it goes like modeling a graph that is composed by nodes and edges. I need to handle the process of each node are doing.

What I have already in mind it is: - each node can execute a set of process. - the process changes the state of the node. - each node has a set of states.

So, is it reasonable to say that I will create one graph for each node of my network? In each graph I will describe how all the states of a node will change.

Does anybody has a basic reference of a book that would help me? Currently, I am reading the book "Graph Databases, NEW OPPORTUNITIES FOR CONNECTED DATA".

Kind Regards, Felipe

  • $\begingroup$ "Model the state of a network" is a pretty broad topic. I suggest you edit your question to describe (a) what kind of network you have in mind, (b) what you want to be able to do with the model - what kind of questions do you want to use it to answer? what do you want to be able to predict? what aspects of behavior do you want to model? $\endgroup$
    – D.W.
    Jun 3, 2018 at 18:33
  • $\begingroup$ You might want to look at model checking to see if it does what you want. It provides a way to model concurrent interacting processes and reason about their behavior. Not sure if it will be what you want or not. $\endgroup$
    – D.W.
    Jun 3, 2018 at 18:34
  • $\begingroup$ I want to answer questions regarding the process of the data in each node of my network. I will read something about model checking (Automatic verification of finite-state concurrent systems using temporal logic specifications). thanks $\endgroup$
    – Felipe
    Jun 5, 2018 at 16:57
  • $\begingroup$ Sorry, that's too vague for me to give you any useful suggestions. If you can make your question more specific and focused, I encourage you to edit it accordingly. Good luck in your searches! $\endgroup$
    – D.W.
    Jun 5, 2018 at 18:14
  • $\begingroup$ I am not sure, but my guess is that I can model the state of a network using Mealy machine. With it, I can have input and output events, and output functions and transitions. Do you think it is reasonable the direction that I am going? $\endgroup$
    – Felipe
    Jun 8, 2018 at 7:52


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Browse other questions tagged or ask your own question.