• MaRDiGraS

  • Referenced in 1 article [sw27734]
  • also requires high performance data processing tools that would allow scientists to extract the knowledge ... transition systems on large clusters and cloud computing platforms. Through a simple programming interface ... formalisms, for example Petri Nets, by either adapting legacy tools or implementing brand new distributed...
  • ITPN-perfbound

  • Referenced in 2 articles [sw02721]
  • Time Petri Nets (ITPN), that is Petri Nets in which firing time intervals, and possibly ... frequency intervals, are associated to transitions. The tool is particularly well-suited in the verification ... worst and best case system performance. The tool has been implemented within the DrawNET framework ... analysis of ITPN models based on the computation of upper and lower bounds of classical...
  • Segregation Analyzer

  • Referenced in 1 article [sw28706]
  • Segregation Analyzer: A C#.Net Application for Calculating Residential Segregation Indices. Segregation indices are today ... However, in the absence of specialized computer tools, calculating segregation indices soon becomes a long ... independent and free application developed in C#.Net called Segregation Analyzer that allows some forty...
  • Geist3D

  • Referenced in 1 article [sw00330]
  • Petri Nets have proven useful as a language for expressing distributed control logic. This paper ... presents a tool that integrates the formalism with virtual reality technology in order to model ... computing the geometric and physical properties of a system and the surrounding environment. Petri Nets...
  • SimHPN

  • Referenced in 2 articles [sw06443]
  • tools devoted to simulation, analysis and synthesis of dynamical systems modeled by hybrid Petri nets ... simulation options, SimHPN offers the possibility of computing steady state throughput bounds for continuous nets...
  • DP2PN2Solver

  • Referenced in 2 articles [sw00216]
  • general, flexible, and expandable software tool that solves DP problems. It consists of modules ... produces an intermediate Petri net (PN) representation called Bellman net (Lew, 2002; Lew, Mauch ... optimal solution for the problem instance is computed by an “executable” code (e.g., Java, Spreadsheet...
  • MaizeRouter

  • Referenced in 3 articles [sw15642]
  • progress over existing publicly available routing tools yet relies upon relatively simple operations, including extreme ... cost deflation that provides our various path computation procedures with progressively more accurate (and less ... built upon a framework of interdependent net decomposition, a representation that improves upon traditional...
  • PNMC

  • Referenced in 1 article [sw29139]
  • Symbolic Model Checker for Petri Nets: pnmc. Symbolic model checking with decision diagrams ... even when using advanced algorithms, model checking tools still need to be carefully written. Indeed ... available memory and how fast computations are performed. Thus, each saved CPU cycle or byte ... pnmc, a symbolic model checker for Petri Nets, and libsdd, its associated library which implements...
  • ESA_PetriNet

  • Referenced in 0 articles [sw06929]
  • PetriNet: a Tool for Extracting Scenarios in Computer Controlled Systems. This paper deals with ... computer-controlled system by means of deriving critical scenarios from its Petri net model. These ... development of ESA_PetriNet tool (Extraction Scenarios & Analyzer by Petri Net model) and was applied...
  • CPN Assistant

  • Referenced in 2 articles [sw09751]
  • networked environment. For each simulation job a net, a number of simulation runs and transition ... specified location. If needed, the tool can also execute user-defined post-processing plug ... convert the text files to another format, compute some statistics or to perform other required...
  • PTrie

  • Referenced in 3 articles [sw35790]
  • efficient implementation are fundamental in all of computer science, including model checking, where sets ... exploration of a large collection of Petri net models from the 2016 edition ... memory-intensive applications such as model-checking tools...
  • GrayStar

  • Referenced in 1 article [sw27037]
  • classroom data projectors, is found in undergraduate computer laboratories, or that students themselves own, including ... with highly portable form-factors such as net-books and tablets. The user requires ... JavaScript source code using the developer tools provided by common Web browsers. The code ... accompanying paper, I describe the computational strategy and methodology as necessitated by Java and JavaScript...
  • StrataGEM

  • Referenced in 1 article [sw09813]
  • modelchecker (StrataGEM), a tool aimed at the analysis of Petri nets and other models ... Petri nets by separating the semantics of the model from the computation that performs model...
  • DRBD

  • Referenced in 1 article [sw37912]
  • Reliability Modelling. With the rapid advances of computer-based technology in mission-critical domains such ... reliability modelling tools. In this paper, we introduce a new reliability modelling tool, called dynamic ... DRBD model, we propose a Petri net based approach by converting DRBD constructs into coloured ... existing Petri net tool to analyse and verify dynamic system behavioural properties. Our case study...
  • JACIE

  • Referenced in 1 article [sw02264]
  • human-computer interaction and human-human communication, so it is desirable to develop net-centric ... features characterise a desirable multimedia software engineering tool...
  • StatPatternRecognition

  • Referenced in 1 article [sw15007]
  • function neural net implemented in the Stuttgart Neural Network Simulator. Supplemental tools such as bootstrap ... tools for imposing requirements on input data and displaying output. Integrated in the BaBar computing...
  • iMet

  • Referenced in 0 articles [sw15928]
  • databases. Here we present iMet, a computational tool based on experimental tandem mass spectrometry that ... unknown metabolite, and gives a net atomic addition or removal that converts the known metabolite...
  • WIMOVAC

  • Referenced in 1 article [sw33380]
  • canopy photosynthesis. The ability to predict net carbon exchange and production of vegetation in response ... these changes. Mathematical models provide an important tool in the study of whole plant, canopy ... designed to run on IBM PC-compatible computers running Microsoft Windows. The package allows...
  • Coq

  • Referenced in 1835 articles [sw00161]
  • Coq is a formal proof management system. It...
  • Dafny

  • Referenced in 66 articles [sw00183]
  • Dafny is an imperative object-based language with...