archive-org.com » ORG » C » CPNTOOLS.ORG

Total: 415

Choose link from "Titles, links and description words view":

Or switch to "Titles and links view".
  • Distributed database example << CPN Tools Homepage
    a distributed system The managers are supposed to keep their data bases identical Hence each update must be followed by a broadcast to all the other managers asking them to perform a similar update The CPN ML declarations are described in great detail Moreover the example is used to illustrate three of the very basic concepts of net theory concurrency conflict and causal dependency The example is taken from Sect

    Original URL path: http://cpntools.org/documentation/examples/distributed_database (2016-04-26)
    Open archived version from archive


  • Distributed database example << CPN Tools Homepage
    analysis of the occurrence graph is described in great detail The CPN model describes the communication between a set of data base managers in a distributed system The model is identical to the Distributed database example presented in Introductory Examples which we recommend to study before this example The example is taken from Sect 1 5 of K Jensen Coloured Petri Nets Basic Concepts Analysis Methods and Practical Use Monographs

    Original URL path: http://cpntools.org/documentation/examples/distributed_database_sp (2016-04-26)
    Open archived version from archive

  • Dynamic MANET On-demand Routing Protocol << CPN Tools Homepage
    Dynamic MANET On demand Routing Protocol or DYMO The protocol is described in K L Espensen M K Kjeldsen and L M Kristensen Modelling and Initial Validation of the DYMO Routing Protocol for Mobile Ad Hoc Networks In Applications and Theory of Petri Nets 29th International Conference PETRI NETS 2008 pages 152 170 Volume 5062 of Lecture Notes in Computer Science Springer Verlag June 2008 If you use this model

    Original URL path: http://cpntools.org/documentation/examples/dynamic_manet_on-demand_routing_protocol (2016-04-26)
    Open archived version from archive

  • E6 Network Dynamic Routing << CPN Tools Homepage
    is composed of E6 switching router SRE6 submodels supplied with traffic generators SRE6 model contains submodels of ports and routing procedures SRE6port RIPprocess RIPupdate Complex recursive functions are used to describe procedures of routing information processing Routing tables are created and updated automatically The model is described in Guliaiev K D Zaitsev D A Simulating E6 Networks Dynamic Routing In 9th International Workshop on Performability Modeling of Computer and Communication

    Original URL path: http://cpntools.org/documentation/examples/e6_network_dynamic_routing (2016-04-26)
    Open archived version from archive

  • Edge Router Discovery Protocol << CPN Tools Homepage
    a traditional network The protocol is described in L M Kristensen and K Jensen Specification and Validation of an Edge Router Discovery Protocol for Mobile Ad Hoc Networks In Integration of Software Specification Techniques for Applications in Engineering pages 248 269 Volume 3147 of Lecture Notes in Computer Science Springer Verlag September 2004 If you use this model for your research please cite the above paper The model can be

    Original URL path: http://cpntools.org/documentation/examples/edge_router_discovery_protocol (2016-04-26)
    Open archived version from archive

  • Ensemble Coordination for Discrete Event Control << CPN Tools Homepage
    listing does not imply that we endorse them or any papers listed only that we provide them as inspiration This example models a distributed ensemble of four controllers that enact a fault triage scheme for a particular remote submersible machine The case study focuses on how one of the controllers coordinates fault classification and evaluation given data streaming from a collection of vibration sensors The model is described in J

    Original URL path: http://cpntools.org/documentation/examples/ensemble_coordination_for_discrete_event_control (2016-04-26)
    Open archived version from archive

  • Ethernet Network << CPN Tools Homepage
    or any papers listed only that we provide them as inspiration The model of a given network is composed of submodels of Ethernet switches workstations and servers It reflects the process of frames delivery by switches using the address table and the forwarding procedure Zaitsev D A Switched LAN simulation by colored Petri nets In volume 65 3 of Mathematics and Computers in Simulation page 245 249 2004 If you

    Original URL path: http://cpntools.org/documentation/examples/ethernet_network (2016-04-26)
    Open archived version from archive

  • Ethernet Network Parametric Models << CPN Tools Homepage
    each component switch workstation server A given topology is put as the marking of dedicated places as well as the characteristics of hardware and software Special tag is added to each token which reflects the location of the token within Ethernet network The models are described in Zaitsev D A Shmeleva T R A Parametric Colored Petri Net Model of a Switched Network Int J Communications Network and System Sciences

    Original URL path: http://cpntools.org/documentation/examples/ethernet_network_parametric_models (2016-04-26)
    Open archived version from archive



  •