• Romeo

  • Referenced in 26 articles [sw00812]
  • Time Petri Net (TPN) analyzer. The tool Romeo allows state space computation ... Besides, our tool also deals with an extension of Time Petri Nets (Scheduling-TPNs...
  • SNOOPY

  • Referenced in 33 articles [sw04386]
  • animate hierarchical graphs, among others Petri nets. The tool has been developed - and is still ... University of Technology in Cottbus, Dep. of Computer Science, ”Data Structures and Software Dependability...
  • SHARPE

  • Referenced in 42 articles [sw03100]
  • Automated Reliability and Performance Evaluator) is a tool for specifying and analyzing performance, reliability ... stochastic Petri nets. Steady-state, transient and interval measures can be computed. Output measures...
  • GreatSPN

  • Referenced in 57 articles [sw00384]
  • Nets. The tool provides a friendly framework to experiment with timed Petri net based modeling ... different machines in a distributed computing environment. The modular structure of GreatSPN2.0 makes it open...
  • APNN-Toolbox

  • Referenced in 11 articles [sw06976]
  • includes tools for checking classical Petri net liveness but also model cheking for computational tree...
  • ROSECON

  • Referenced in 6 articles [sw30209]
  • ROSECON System - a Computer Tool for Modelling and Analysing of Processes. The paper provides ... ROSECON system - a software tool for automated discovering net models from data tables as well...
  • BEAVER

  • Referenced in 11 articles [sw10825]
  • based tool for switchbox routing. BEAVER combines a delayed layering scheme with computational geometry techniques ... queues to determine the order in which nets are routed, and its prioritized control ... prevent routing conflicts. BEAVER consists of four tools that are run successively: a corner router...
  • PInA

  • Referenced in 1 article [sw13655]
  • software tool for computation and analysis of invariants of place/transition nets...
  • rbminer

  • Referenced in 11 articles [sw00783]
  • transformation of an automata into a Petri net. From very restricting initial requirements, the theory ... more general scenarios. In contrast, few tools have appeared to support these new theories, thus ... tool that combines the theory of regions with linear algebra to compute a basis...
  • DeepLab

  • Referenced in 17 articles [sw15303]
  • DeepLab: Semantic Image Segmentation with Deep Convolutional Nets, Atrous Convolution, and Fully Connected CRFs ... filters, or ’atrous convolution’, as a powerful tool in dense prediction tasks. Atrous convolution allows ... resolution at which feature responses are computed within Deep Convolutional Neural Networks. It also allows...
  • ADAM

  • Referenced in 8 articles [sw21957]
  • nets, and agent-based models, to gain a better understanding of them. The computational complexity ... working with complex models. There exist software tools to analyze discrete models, but they either...
  • DryadLINQ

  • Referenced in 7 articles [sw23712]
  • programming model for large scale distributed computing. It generalizes previous execution environments such ... expressive data model of strongly typed .NET objects; and by supporting general-purpose imperative ... written and debugged using standard .NET development tools. The DryadLINQ system automatically and transparently translates ... production clusters made up of thousands of computers, ensures efficient, reliable execution of this plan...
  • Wendy

  • Referenced in 6 articles [sw01246]
  • Wendy: A tool to synthesize partners for services Service-oriented computing proposes services as building ... paper, we introduce Wendy, a Petri net-based tool to synthesize partner services. These partners...
  • CPN-AMI

  • Referenced in 1 article [sw19149]
  • Petri net based CASE environment. It offers functions such as modelling facilities, simulation, model checking ... computation of structural properties. CPN-AMI groups together many tools suitable for Petri net modelling...
  • RDPS

  • Referenced in 1 article [sw18432]
  • evaluation of dependable computer systems. This paper presents the software tool RDPS. The first application ... synchronized systems modelled by Petri nets. RDPS computes the invariants of the net, generates...
  • SNAKES

  • Referenced in 6 articles [sw09476]
  • available tool. For this purpose, SNAKES is designed as a very general Petri net core ... defines a general Petri net structure where all the computational aspects are delegated...
  • ERS

  • Referenced in 2 articles [sw12048]
  • contains tools for: creating graphical representations of some discrete event systems: Petri Nets (snapshot), Task ... snapshot), Interaction Graphs. analyzing the systems and computing performance measures (throughputs and growth rates, waiting...
  • BioSimulator.jl

  • Referenced in 2 articles [sw28296]
  • across domains with fast, user-friendly simulation tools. We used the high-performance programming language ... Julia because of its emphasis on scientific computing. Our software package implements a suite ... provide the ability to (a) diagram Petri Nets describing interactions, (b) plot average trajectories ... built-in tools allow one to visualize results and compute summary statistics. Our examples highlight...
  • clogitL1

  • Referenced in 1 article [sw24385]
  • regression with lasso and elastic net penalties. Tools for the fitting and cross validation ... elastic net penalties. Uses cyclic coordinate descent and warm starts to compute the entire path...
  • 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...