matmas / pneditor Goto Github PK

View Code? Open in Web Editor NEW

44.0 44.0 21.0 396 KB

Petri Net Editor

Home Page: https://pneditor-org-hrd.appspot.com/

Java 96.58% XSLT 3.42%

pneditor's People

Contributors

Stargazers

Watchers

pneditor's Issues

Reset and Initialize

How can I reset and initialize all places?

I have a small example where I want to reset all the places and initialize the start place with two tokens.

However, what happens in this example is that the initialization happens first and then everything is reset, such that no tokes are there anymore. Is there a possibility to get this working without an auxillary transition?

Here is the example:

<?xml version="1.0" encoding="UTF-8"?><document>
    <id/>
    <x/>
    <y/>
    <label/>
    <subnet>
        <id/>
        <x>0</x>
        <y>0</y>
        <label/>
        <place>
            <id>87</id>
            <x>-1016</x>
            <y>-467</y>
            <label/>
            <tokens>0</tokens>
            <isStatic>false</isStatic>
        </place>
        <place>
            <id>88</id>
            <x>-735</x>
            <y>-466</y>
            <label/>
            <tokens>0</tokens>
            <isStatic>false</isStatic>
        </place>
        <place>
            <id>89</id>
            <x>-879</x>
            <y>-628</y>
            <label>START</label>
            <tokens>2</tokens>
            <isStatic>false</isStatic>
        </place>
        <transition>
            <id>86</id>
            <x>-873</x>
            <y>-360</y>
            <label>RESET</label>
        </transition>
        <transition>
            <id>90</id>
            <x>-1019</x>
            <y>-545</y>
            <label/>
        </transition>
        <transition>
            <id>91</id>
            <x>-734</x>
            <y>-550</y>
            <label/>
        </transition>
        <arc>
            <type>regular</type>
            <sourceId>86</sourceId>
            <destinationId>89</destinationId>
            <multiplicity>2</multiplicity>
            <breakPoint>
                <x>-830</x>
                <y>-493</y>
            </breakPoint>
        </arc>
        <arc>
            <type>reset</type>
            <sourceId>89</sourceId>
            <destinationId>86</destinationId>
            <multiplicity>1</multiplicity>
            <breakPoint>
                <x>-923</x>
                <y>-489</y>
            </breakPoint>
        </arc>
        <arc>
            <type>regular</type>
            <sourceId>89</sourceId>
            <destinationId>90</destinationId>
            <multiplicity>1</multiplicity>
        </arc>
        <arc>
            <type>regular</type>
            <sourceId>89</sourceId>
            <destinationId>91</destinationId>
            <multiplicity>1</multiplicity>
        </arc>
        <arc>
            <type>regular</type>
            <sourceId>90</sourceId>
            <destinationId>87</destinationId>
            <multiplicity>1</multiplicity>
        </arc>
        <arc>
            <type>reset</type>
            <sourceId>87</sourceId>
            <destinationId>86</destinationId>
            <multiplicity>1</multiplicity>
        </arc>
        <arc>
            <type>reset</type>
            <sourceId>88</sourceId>
            <destinationId>86</destinationId>
            <multiplicity>1</multiplicity>
        </arc>
        <arc>
            <type>regular</type>
            <sourceId>91</sourceId>
            <destinationId>88</destinationId>
            <multiplicity>1</multiplicity>
        </arc>
    </subnet>
    <roles/>
</document>

Question: How to align items?

Hi,

I've looked in all the menus, I haven't found any way to align elements vertically or horizontally... Like a... A grid!

On the official screenshot, the elements seem to be well aligned:

Did I miss something ? Sorry about the already-asked question if it's the case.

capacity limit on places

I'd like to work with k-bounded nets.

I think this can be accomplished by adding <capacity> attribute to places in a manner similar to http://sarahtattersall.github.io/PIPE/

Looks like I wrote a similar program

I just found this when searching for a similar program I wrote myself.
I was looking for some petri net simulation software for some time before I started writing my own.
Your program is a good inspiration for what's still missing in my one, but I think, my program also has a bunch of benefits.

I like the UI of your program. Besides of the petri net itself I don't have much UI in my program. It's something, that should probably be added to my program, too.
Also your program has some other features, that might be useful. Especially subnets and the boundness check.
But I don't get how subnets work in your program.
Also I wonder what actors are used for.

Here the benefits of my program, which might be interesting for this program as well:

user friendly shortcuts for everything
more user friendly controls in general (probably just an opinion)
reverting fire transitions (unfire)
multiple simulation states, you can switch between
mark fireable (and unfireable) transitions
based on a C API, which is used for simulation, editing, saving, loading
- other programs (for example an interactive story program or a game engine) can also use the generated net using the same API
- API can be used by almost every langauge
simple data formats for saving and loading, so you could easily parse them yourself
ablility to store text data to transitions (more than labels)

Maybe you're interested in looking at it and get inspiration for your program as well (or want to implement missing features into my program yourself :P)

Website is down

was going to provide a link to your precompiled jar - noticed site was down

matmas / pneditor Goto Github PK

pneditor's People

Contributors

Stargazers

Watchers

Forkers

pneditor's Issues

Reset and Initialize

Question: How to align items?

capacity limit on places

Looks like I wrote a similar program

Website is down

Recommend Projects

React

Vue.js

Typescript

TensorFlow

Django

Laravel

D3

Recommend Topics

javascript

web

server

Machine learning

Visualization

Game

Recommend Org

Facebook

Microsoft

Google

Alibaba

D3

Tencent