develop.uap-core.de/git
/
petrinet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
renames PetriNet to Petrinet and uses the parser as a resource in Main
[petrinet.git]
/
src
/
main
/
java
/
de
/
yasc
/
example
/
petrinet
/
Petrinet.java
diff --git
a/src/main/java/de/yasc/example/petrinet/PetriNet.java
b/src/main/java/de/yasc/example/petrinet/Petrinet.java
similarity index 97%
rename from
src/main/java/de/yasc/example/petrinet/PetriNet.java
rename to
src/main/java/de/yasc/example/petrinet/Petrinet.java
index
010a279
..
f8882f2
100644
(file)
--- a/
src/main/java/de/yasc/example/petrinet/PetriNet.java
+++ b/
src/main/java/de/yasc/example/petrinet/Petrinet.java
@@
-7,7
+7,7
@@
import java.util.List;
import java.util.Random;
import java.util.stream.Collectors;
import java.util.Random;
import java.util.stream.Collectors;
-public final class Petri
N
et {
+public final class Petri
n
et {
private static final class Place {
private static final class Place {
@@
-51,7
+51,7
@@
public final class PetriNet {
final private Place[] places;
final private List<Transition> transitions;
final private Place[] places;
final private List<Transition> transitions;
- public Petri
N
et(int places) {
+ public Petri
n
et(int places) {
this.places = new Place[places];
for (int i = 0 ; i < places ; i++)
this.places[i] = new Place();
this.places = new Place[places];
for (int i = 0 ; i < places ; i++)
this.places[i] = new Place();