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 '18 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 '18 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 '18 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 '18 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 '18 at 7:52

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.