setzer22 / jbpt Goto Github PK

What steps will reproduce the problem?
1. create a Process
2. add Task to a process
3. defined gateway type

What is the expected output? What do you see instead?
I follow our BasicHowTo tutorial to create a Process but it seems to be that 
your tutorial is not updated!??
Impossible to create a Process, impossible to addTask to process, impossible to 
addControlFlow to a process...

All the libraries have change???

Does it exist a documentation? because it's difficult to guess which 
functinnalities are available?

What version of the product are you using? On what operating system?
jbpt-0.2.393.jar

Please provide any additional information below.

Thanks in advance for your help.

What steps will reproduce the problem?
1. Run the the Strongly Connected Components computation on a graph with more 
than 128 states several times.
2.
3.

What is the expected output? What do you see instead?
The result is different each time and random.

What version of the product are you using? On what operating system?
jbpt-0.2.393, on windows XP.

Please provide any additional information below.
By looking at the code, I think the problem comes from the use of the 
comparison operator "==" with Integer objects. This operator can only be used 
with primitive types. It should be replace here by the method equals of the 
object Integer.
Where : file StronglyConnectedComponents, line 79 (if (this.lowlink.get(v) == 
this.indices.get(v)))

What steps will reproduce the problem?
1.  creation of a Task
2.  creation of a Gateway
3.  addition of them to a Process

What is the expected output? What do you see instead?
Following the BasicHowTo guide, leads a wrong use of methods. addTask is 
deprecated and new Gateway is no more allowed.

What version of the product are you using? On what operating system?
jbpt-0.2.363

Please provide any additional information below.
I am trying to create a RPST from a process graph. As the BasicHowTo guide 
suggests, I add Tasks, Gateways and then ControlFlow among them. Unfortunately 
is not allowed to add tasks and gateways. However if I add directly objects to 
the controlFlow, the RPST is generated but its print 
(System.out.println(rpst);) is not very readable. Could I suggest to update the 
BasicHowTo, adding also some info to read the rpst created? Thank you

What steps will reproduce the problem?
Open search.maven.org and try to search. Can't add dependency with maven or 
gradle
For example you can add junit dependency in one line like that:

    testCompile 'junit:junit:4.11'

But without jbpt in Maven I can't include library in config, without putting 
binaries into project.

[deleted issue]

What steps will reproduce the problem?

Create a RPST for the graph given:

MultiDirectedGraph multiGraph = new MultiDirectedGraph();

Vertex start= new Vertex("START", "START");
Vertex xor1 = new Vertex("XOR_1", "XOR_1");
Vertex xor2 = new Vertex("XOR_2", "XOR_2");
Vertex xor3 = new Vertex("XOR_3", "XOR_3");
Vertex xor4 = new Vertex("XOR_4", "XOR_4");
Vertex xor5 = new Vertex("XOR_5", "XOR_5");
Vertex xor6 = new Vertex("XOR_6", "XOR_6");
Vertex f12 = new Vertex("F12", "F12");
Vertex f56 = new Vertex("F56", "F56");
Vertex f34 = new Vertex("F34","F34");
Vertex end = new Vertex("END", "END");


start.setId("1");
xor1.setId("2");
xor2.setId("3");
xor3.setId("4");
xor4.setId("5");
xor5.setId("6");
xor6.setId("7");
f12.setId("8");
f34.setId("9");
f56.setId("10");
end.setId("11");

multiGraph.addVertex(start);
multiGraph.addVertex(xor1);
multiGraph.addVertex(xor2);
multiGraph.addVertex(xor3);
multiGraph.addVertex(xor4);
multiGraph.addVertex(xor5);
multiGraph.addVertex(xor6);
multiGraph.addVertex(f12);
multiGraph.addVertex(f34);
multiGraph.addVertex(f56);
multiGraph.addVertex(end);


multiGraph.addEdge(start,xor1);
multiGraph.addEdge(xor1,xor2);
multiGraph.addEdge(xor1,f12);
multiGraph.addEdge(f12,xor2);
multiGraph.addEdge(xor2,xor1);
multiGraph.addEdge(xor2,xor3);
multiGraph.addEdge(xor2,xor5);
multiGraph.addEdge(xor3,xor4);
multiGraph.addEdge(xor3,f34);
multiGraph.addEdge(f34,xor4);
multiGraph.addEdge(xor4,xor5);
multiGraph.addEdge(xor4,xor1);
multiGraph.addEdge(xor5,f56);
multiGraph.addEdge(f56,xor6);
multiGraph.addEdge(xor6,xor1);
multiGraph.addEdge(xor6,xor3);
multiGraph.addEdge(xor6,xor5);

RPST rpst = new RPST(multiGraph);

The decompostion of the graph is not deterministic. Multiple executions show 
that there exists a variation in the amount of identified bonds and polygons.

The WoflanSerializer.parse(File) method assumes transitions defined in multiple 
lines. This assumption is not really consistent with what reported here 
http://www.win.tue.nl/~hverbeek/doku.php?id=projects:prom:plug-ins:import:tpn.

Attached to this issue you can find a patch that should fix the problem (the 
patch was designed for the Cheetah version of jbpt, but should be ok). In 
particular, now both formats should work (with transitions reported in either 
one or several lines).

What steps will reproduce the problem?
1. Tried to save a petri net to a file.
2. The labels for places are saved correctly,
3. the labels for transitions are not saved correctly.

What is the expected output? What do you see instead?
the petri net is saved in the pnml file, but without the assigned labels.

What version of the product are you using? On what operating system?
I checked out and compiled the last version.

Please provide any additional information below.
It did not really harm my project, but I just wanted to report the bug.
When I save a petri net in a file, the labels for places are serialized 
correctly but the labels for transitions not.
I used the following code to save a petri net to a PNML file.

private static void writePNML(NetSystem ns, String fileName) {
        Document doc = null;
        PNMLSerializer ser = new PNMLSerializer();

        try {
            doc = ser.serialize(ns);
            saveDocumentToFile(doc, fileName);
        } catch (FileNotFoundException e) {
            e.printStackTrace();
        } catch (TransformerFactoryConfigurationError e) {
            e.printStackTrace();
        } catch (TransformerException e) {
            e.printStackTrace();
        } catch (SerializationException e) {
            e.printStackTrace();
        }
    }

What steps will reproduce the problem?
Compile and run

What is the expected output? What do you see instead?


What version of the product are you using? On what operating system?
jbpt-0.2.363 on Mountain Lion Mac OS X 10.8.2

Please provide any additional information below.
This library requires java 1.5 32bit. It should be updated at least at 1.6 to 
work on Mountain Lion. Thank you

What steps will reproduce the problem?

DirectedGraph d = new DirectedGraph();

        Vertex v1 = new Vertex("A");
        Vertex v2 = new Vertex("B");
        Vertex v3 = new Vertex("C");

        d.addVertex(v1);
        d.addVertex(v2);
        d.addVertex(v3);

        d.addEdge(v1,v2);
        d.addEdge(v2,v3);
        d.addEdge(v3,v1); 

What is the expected output? What do you see instead?

org/jbpt/hypergraph/abs/IVertex : Unsupported major.minor version 51.0

What version of the product are you using? On what operating system?

jbpt-0.2.363.jar

Please provide any additional information below.