Search Results for "petri-foo"

HiPS tool is developed at the Department of Computer Science and Engineering, Shinshu University, which is a tool design and analysis of Petri nets, developed using Microsoft Visual C # and C++. HiPS tool has a way of intuitive GUI which enable hierarchical and/or timed-net design. HiPS tool has also functions of static/dynamic analysis : T-invariant detection, Reachability path analysis, deadlock state detection, and k-boundedness analysis. In addition, it is possible to perform a random walk simulation with each firing steps.

Carassius is a tool for editing of Petri nets and graphs. It allows to create and edit models in a very simple manner. Carassius has features for model arrangements and formatting, thus it makes a model more readable and demonstrative. With Carassius one can simply construct the model and export automatically generated TeX-code for the paper. Suitable markup languages: PNML and graphML.

The aim of the PL-PSF project is to create a generic domain-independent combinatorial problem solver. It uses a petri-nets based model to represent the problems and problem decomposition/abstraction with graph topology analysis to solve them.

Please visit our Blog and or Ticket sections for updates. Looking for volunteers to help create the wiki. SCCM Client Injector 2014 is a simple-to-use interface for adding and removing a client from a collection in Configuration Manager 2007. (May work on later versions; I do not have the environment to check.) As well, it can check for the existence of a client and check for duplicate entries (and removal of such) from SCCM. Some features currently being developed for...