Skip to content
Snippets Groups Projects
Commit 39df2438 authored by Leonardo Brenner's avatar Leonardo Brenner
Browse files

First commit

parent 9beb0540
No related branches found
No related tags found
No related merge requests found
Show whitespace changes
Inline Side-by-side
Showing
with 959 additions and 0 deletions
Makefile 0 → 100644
+ 261
− 0
View file @ 39df2438
#------------------------------------------------------------------------------#
# This makefile was generated by 'cbp2make' tool rev.147 #
#------------------------------------------------------------------------------#
WORKDIR = `pwd`
CC = gcc
CXX = g++
AR = ar
LD = g++
WINDRES = windres
INC = -Isrc
CFLAGS = -Wall -std=c++11 -fexceptions -fpermissive
RESINC =
LIBDIR =
LIB = -lglpk -ldl
LDFLAGS =
INC_DEBUG = $(INC) -Isrc -Isrc/bpn -Isrc/interf -Isrc/simul
CFLAGS_DEBUG = $(CFLAGS) -w -pg -g -Wunused-result -O0 -D_SIMULEAU_DEBUG_
RESINC_DEBUG = $(RESINC)
RCFLAGS_DEBUG = $(RCFLAGS)
LIBDIR_DEBUG = $(LIBDIR) -L/usr/local/lib -L/usr/local/include -L/usr/include -L/usr/lib/x86_64-linux-gnu/
LIB_DEBUG = $(LIB)
LDFLAGS_DEBUG = $(LDFLAGS) -pg -static-libstdc++ -static-libgcc
OBJDIR_DEBUG = obj/Debug
DEP_DEBUG =
OUT_DEBUG = bin/Debug/simuleau
INC_RELEASE = $(INC) -Isrc/bpn -Isrc/simul -Isrc -Isrc/interf
CFLAGS_RELEASE = $(CFLAGS) -O2
RESINC_RELEASE = $(RESINC)
RCFLAGS_RELEASE = $(RCFLAGS)
LIBDIR_RELEASE = $(LIBDIR)
LIB_RELEASE = $(LIB)
LDFLAGS_RELEASE = $(LDFLAGS) -s
OBJDIR_RELEASE = obj/Release
DEP_RELEASE =
OUT_RELEASE = bin/Release/simuleau
OBJ_DEBUG = $(OBJDIR_DEBUG)/src/simul/breakpoint.o $(OBJDIR_DEBUG)/src/interf/interf.o $(OBJDIR_DEBUG)/src/interf/lex.yy.o $(OBJDIR_DEBUG)/src/interf/prf.o $(OBJDIR_DEBUG)/src/interf/timer.o $(OBJDIR_DEBUG)/src/interf/y.tab.o $(OBJDIR_DEBUG)/src/simul/event.o $(OBJDIR_DEBUG)/src/simul/schedule.o $(OBJDIR_DEBUG)/src/simul/simtime.o $(OBJDIR_DEBUG)/src/simul/simulate.o $(OBJDIR_DEBUG)/src/simuleau.o $(OBJDIR_DEBUG)/src/bpn/discretetransition.o $(OBJDIR_DEBUG)/src/bpn/batch.o $(OBJDIR_DEBUG)/src/bpn/batchplace.o $(OBJDIR_DEBUG)/src/bpn/batchtransition.o $(OBJDIR_DEBUG)/src/bpn/bpn.o $(OBJDIR_DEBUG)/src/bpn/continuousplace.o $(OBJDIR_DEBUG)/src/bpn/continuoustransition.o $(OBJDIR_DEBUG)/src/bpn/controllablebatch.o $(OBJDIR_DEBUG)/src/bpn/discreteplace.o $(OBJDIR_DEBUG)/src/bpn/arc.o $(OBJDIR_DEBUG)/src/bpn/firingquantity.o $(OBJDIR_DEBUG)/src/bpn/flow.o $(OBJDIR_DEBUG)/src/bpn/node.o $(OBJDIR_DEBUG)/src/bpn/place.o $(OBJDIR_DEBUG)/src/bpn/transition.o $(OBJDIR_DEBUG)/src/bpn/triangularbatchplace.o
OBJ_RELEASE = $(OBJDIR_RELEASE)/src/simul/breakpoint.o $(OBJDIR_RELEASE)/src/interf/interf.o $(OBJDIR_RELEASE)/src/interf/lex.yy.o $(OBJDIR_RELEASE)/src/interf/prf.o $(OBJDIR_RELEASE)/src/interf/timer.o $(OBJDIR_RELEASE)/src/interf/y.tab.o $(OBJDIR_RELEASE)/src/simul/event.o $(OBJDIR_RELEASE)/src/simul/schedule.o $(OBJDIR_RELEASE)/src/simul/simtime.o $(OBJDIR_RELEASE)/src/simul/simulate.o $(OBJDIR_RELEASE)/src/simuleau.o $(OBJDIR_RELEASE)/src/bpn/discretetransition.o $(OBJDIR_RELEASE)/src/bpn/batch.o $(OBJDIR_RELEASE)/src/bpn/batchplace.o $(OBJDIR_RELEASE)/src/bpn/batchtransition.o $(OBJDIR_RELEASE)/src/bpn/bpn.o $(OBJDIR_RELEASE)/src/bpn/continuousplace.o $(OBJDIR_RELEASE)/src/bpn/continuoustransition.o $(OBJDIR_RELEASE)/src/bpn/controllablebatch.o $(OBJDIR_RELEASE)/src/bpn/discreteplace.o $(OBJDIR_RELEASE)/src/bpn/arc.o $(OBJDIR_RELEASE)/src/bpn/firingquantity.o $(OBJDIR_RELEASE)/src/bpn/flow.o $(OBJDIR_RELEASE)/src/bpn/node.o $(OBJDIR_RELEASE)/src/bpn/place.o $(OBJDIR_RELEASE)/src/bpn/transition.o $(OBJDIR_RELEASE)/src/bpn/triangularbatchplace.o
all: debug release
clean: clean_debug clean_release
before_debug:
lex -o src/interf/y.tab.cpp src/interf/tokens.l
yacc -tdv -o src/interf/y.tab.cpp src/interf/glc.y
test -d bin/Debug || mkdir -p bin/Debug
test -d $(OBJDIR_DEBUG)/src/simul || mkdir -p $(OBJDIR_DEBUG)/src/simul
test -d $(OBJDIR_DEBUG)/src/interf || mkdir -p $(OBJDIR_DEBUG)/src/interf
test -d $(OBJDIR_DEBUG)/src || mkdir -p $(OBJDIR_DEBUG)/src
test -d $(OBJDIR_DEBUG)/src/bpn || mkdir -p $(OBJDIR_DEBUG)/src/bpn
after_debug:
debug: before_debug out_debug after_debug
out_debug: before_debug $(OBJ_DEBUG) $(DEP_DEBUG)
$(LD) $(LIBDIR_DEBUG) -o $(OUT_DEBUG) $(OBJ_DEBUG) $(LDFLAGS_DEBUG) $(LIB_DEBUG)
$(OBJDIR_DEBUG)/src/simul/breakpoint.o: src/simul/breakpoint.cpp
$(CXX) $(CFLAGS_DEBUG) $(INC_DEBUG) -c src/simul/breakpoint.cpp -o $(OBJDIR_DEBUG)/src/simul/breakpoint.o
$(OBJDIR_DEBUG)/src/interf/interf.o: src/interf/interf.cpp
$(CXX) $(CFLAGS_DEBUG) $(INC_DEBUG) -c src/interf/interf.cpp -o $(OBJDIR_DEBUG)/src/interf/interf.o
$(OBJDIR_DEBUG)/src/interf/lex.yy.o: src/interf/lex.yy.cpp
$(CC) $(CFLAGS_DEBUG) $(INC_DEBUG) -c src/interf/lex.yy.cpp -o $(OBJDIR_DEBUG)/src/interf/lex.yy.o
$(OBJDIR_DEBUG)/src/interf/prf.o: src/interf/prf.cpp
$(CXX) $(CFLAGS_DEBUG) $(INC_DEBUG) -c src/interf/prf.cpp -o $(OBJDIR_DEBUG)/src/interf/prf.o
$(OBJDIR_DEBUG)/src/interf/timer.o: src/interf/timer.cpp
$(CXX) $(CFLAGS_DEBUG) $(INC_DEBUG) -c src/interf/timer.cpp -o $(OBJDIR_DEBUG)/src/interf/timer.o
$(OBJDIR_DEBUG)/src/interf/y.tab.o: src/interf/y.tab.cpp
$(CC) $(CFLAGS_DEBUG) $(INC_DEBUG) -c src/interf/y.tab.cpp -o $(OBJDIR_DEBUG)/src/interf/y.tab.o
$(OBJDIR_DEBUG)/src/simul/event.o: src/simul/event.cpp
$(CXX) $(CFLAGS_DEBUG) $(INC_DEBUG) -c src/simul/event.cpp -o $(OBJDIR_DEBUG)/src/simul/event.o
$(OBJDIR_DEBUG)/src/simul/schedule.o: src/simul/schedule.cpp
$(CXX) $(CFLAGS_DEBUG) $(INC_DEBUG) -c src/simul/schedule.cpp -o $(OBJDIR_DEBUG)/src/simul/schedule.o
$(OBJDIR_DEBUG)/src/simul/simtime.o: src/simul/simtime.cpp
$(CXX) $(CFLAGS_DEBUG) $(INC_DEBUG) -c src/simul/simtime.cpp -o $(OBJDIR_DEBUG)/src/simul/simtime.o
$(OBJDIR_DEBUG)/src/simul/simulate.o: src/simul/simulate.cpp
$(CXX) $(CFLAGS_DEBUG) $(INC_DEBUG) -c src/simul/simulate.cpp -o $(OBJDIR_DEBUG)/src/simul/simulate.o
$(OBJDIR_DEBUG)/src/simuleau.o: src/simuleau.cpp
$(CXX) $(CFLAGS_DEBUG) $(INC_DEBUG) -c src/simuleau.cpp -o $(OBJDIR_DEBUG)/src/simuleau.o
$(OBJDIR_DEBUG)/src/bpn/discretetransition.o: src/bpn/discretetransition.cpp
$(CXX) $(CFLAGS_DEBUG) $(INC_DEBUG) -c src/bpn/discretetransition.cpp -o $(OBJDIR_DEBUG)/src/bpn/discretetransition.o
$(OBJDIR_DEBUG)/src/bpn/batch.o: src/bpn/batch.cpp
$(CXX) $(CFLAGS_DEBUG) $(INC_DEBUG) -c src/bpn/batch.cpp -o $(OBJDIR_DEBUG)/src/bpn/batch.o
$(OBJDIR_DEBUG)/src/bpn/batchplace.o: src/bpn/batchplace.cpp
$(CXX) $(CFLAGS_DEBUG) $(INC_DEBUG) -c src/bpn/batchplace.cpp -o $(OBJDIR_DEBUG)/src/bpn/batchplace.o
$(OBJDIR_DEBUG)/src/bpn/batchtransition.o: src/bpn/batchtransition.cpp
$(CXX) $(CFLAGS_DEBUG) $(INC_DEBUG) -c src/bpn/batchtransition.cpp -o $(OBJDIR_DEBUG)/src/bpn/batchtransition.o
$(OBJDIR_DEBUG)/src/bpn/bpn.o: src/bpn/bpn.cpp
$(CXX) $(CFLAGS_DEBUG) $(INC_DEBUG) -c src/bpn/bpn.cpp -o $(OBJDIR_DEBUG)/src/bpn/bpn.o
$(OBJDIR_DEBUG)/src/bpn/continuousplace.o: src/bpn/continuousplace.cpp
$(CXX) $(CFLAGS_DEBUG) $(INC_DEBUG) -c src/bpn/continuousplace.cpp -o $(OBJDIR_DEBUG)/src/bpn/continuousplace.o
$(OBJDIR_DEBUG)/src/bpn/continuoustransition.o: src/bpn/continuoustransition.cpp
$(CXX) $(CFLAGS_DEBUG) $(INC_DEBUG) -c src/bpn/continuoustransition.cpp -o $(OBJDIR_DEBUG)/src/bpn/continuoustransition.o
$(OBJDIR_DEBUG)/src/bpn/controllablebatch.o: src/bpn/controllablebatch.cpp
$(CXX) $(CFLAGS_DEBUG) $(INC_DEBUG) -c src/bpn/controllablebatch.cpp -o $(OBJDIR_DEBUG)/src/bpn/controllablebatch.o
$(OBJDIR_DEBUG)/src/bpn/discreteplace.o: src/bpn/discreteplace.cpp
$(CXX) $(CFLAGS_DEBUG) $(INC_DEBUG) -c src/bpn/discreteplace.cpp -o $(OBJDIR_DEBUG)/src/bpn/discreteplace.o
$(OBJDIR_DEBUG)/src/bpn/arc.o: src/bpn/arc.cpp
$(CXX) $(CFLAGS_DEBUG) $(INC_DEBUG) -c src/bpn/arc.cpp -o $(OBJDIR_DEBUG)/src/bpn/arc.o
$(OBJDIR_DEBUG)/src/bpn/firingquantity.o: src/bpn/firingquantity.cpp
$(CXX) $(CFLAGS_DEBUG) $(INC_DEBUG) -c src/bpn/firingquantity.cpp -o $(OBJDIR_DEBUG)/src/bpn/firingquantity.o
$(OBJDIR_DEBUG)/src/bpn/flow.o: src/bpn/flow.cpp
$(CXX) $(CFLAGS_DEBUG) $(INC_DEBUG) -c src/bpn/flow.cpp -o $(OBJDIR_DEBUG)/src/bpn/flow.o
$(OBJDIR_DEBUG)/src/bpn/node.o: src/bpn/node.cpp
$(CXX) $(CFLAGS_DEBUG) $(INC_DEBUG) -c src/bpn/node.cpp -o $(OBJDIR_DEBUG)/src/bpn/node.o
$(OBJDIR_DEBUG)/src/bpn/place.o: src/bpn/place.cpp
$(CXX) $(CFLAGS_DEBUG) $(INC_DEBUG) -c src/bpn/place.cpp -o $(OBJDIR_DEBUG)/src/bpn/place.o
$(OBJDIR_DEBUG)/src/bpn/transition.o: src/bpn/transition.cpp
$(CXX) $(CFLAGS_DEBUG) $(INC_DEBUG) -c src/bpn/transition.cpp -o $(OBJDIR_DEBUG)/src/bpn/transition.o
$(OBJDIR_DEBUG)/src/bpn/triangularbatchplace.o: src/bpn/triangularbatchplace.cpp
$(CXX) $(CFLAGS_DEBUG) $(INC_DEBUG) -c src/bpn/triangularbatchplace.cpp -o $(OBJDIR_DEBUG)/src/bpn/triangularbatchplace.o
clean_debug:
rm -f $(OBJ_DEBUG) $(OUT_DEBUG)
rm -rf bin/Debug
rm -rf $(OBJDIR_DEBUG)/src/simul
rm -rf $(OBJDIR_DEBUG)/src/interf
rm -rf $(OBJDIR_DEBUG)/src
rm -rf $(OBJDIR_DEBUG)/src/bpn
before_release:
yacc -tdv -o src/interf/y.tab.cpp src/interf/glc.y
test -d bin/Release || mkdir -p bin/Release
test -d $(OBJDIR_RELEASE)/src/simul || mkdir -p $(OBJDIR_RELEASE)/src/simul
test -d $(OBJDIR_RELEASE)/src/interf || mkdir -p $(OBJDIR_RELEASE)/src/interf
test -d $(OBJDIR_RELEASE)/src || mkdir -p $(OBJDIR_RELEASE)/src
test -d $(OBJDIR_RELEASE)/src/bpn || mkdir -p $(OBJDIR_RELEASE)/src/bpn
after_release:
release: before_release out_release after_release
out_release: before_release $(OBJ_RELEASE) $(DEP_RELEASE)
$(LD) $(LIBDIR_RELEASE) -o $(OUT_RELEASE) $(OBJ_RELEASE) $(LDFLAGS_RELEASE) $(LIB_RELEASE)
$(OBJDIR_RELEASE)/src/simul/breakpoint.o: src/simul/breakpoint.cpp
$(CXX) $(CFLAGS_RELEASE) $(INC_RELEASE) -c src/simul/breakpoint.cpp -o $(OBJDIR_RELEASE)/src/simul/breakpoint.o
$(OBJDIR_RELEASE)/src/interf/interf.o: src/interf/interf.cpp
$(CXX) $(CFLAGS_RELEASE) $(INC_RELEASE) -c src/interf/interf.cpp -o $(OBJDIR_RELEASE)/src/interf/interf.o
$(OBJDIR_RELEASE)/src/interf/lex.yy.o: src/interf/lex.yy.cpp
$(CC) $(CFLAGS_RELEASE) $(INC_RELEASE) -c src/interf/lex.yy.cpp -o $(OBJDIR_RELEASE)/src/interf/lex.yy.o
$(OBJDIR_RELEASE)/src/interf/prf.o: src/interf/prf.cpp
$(CXX) $(CFLAGS_RELEASE) $(INC_RELEASE) -c src/interf/prf.cpp -o $(OBJDIR_RELEASE)/src/interf/prf.o
$(OBJDIR_RELEASE)/src/interf/timer.o: src/interf/timer.cpp
$(CXX) $(CFLAGS_RELEASE) $(INC_RELEASE) -c src/interf/timer.cpp -o $(OBJDIR_RELEASE)/src/interf/timer.o
$(OBJDIR_RELEASE)/src/interf/y.tab.o: src/interf/y.tab.cpp
$(CC) $(CFLAGS_RELEASE) $(INC_RELEASE) -c src/interf/y.tab.cpp -o $(OBJDIR_RELEASE)/src/interf/y.tab.o
$(OBJDIR_RELEASE)/src/simul/event.o: src/simul/event.cpp
$(CXX) $(CFLAGS_RELEASE) $(INC_RELEASE) -c src/simul/event.cpp -o $(OBJDIR_RELEASE)/src/simul/event.o
$(OBJDIR_RELEASE)/src/simul/schedule.o: src/simul/schedule.cpp
$(CXX) $(CFLAGS_RELEASE) $(INC_RELEASE) -c src/simul/schedule.cpp -o $(OBJDIR_RELEASE)/src/simul/schedule.o
$(OBJDIR_RELEASE)/src/simul/simtime.o: src/simul/simtime.cpp
$(CXX) $(CFLAGS_RELEASE) $(INC_RELEASE) -c src/simul/simtime.cpp -o $(OBJDIR_RELEASE)/src/simul/simtime.o
$(OBJDIR_RELEASE)/src/simul/simulate.o: src/simul/simulate.cpp
$(CXX) $(CFLAGS_RELEASE) $(INC_RELEASE) -c src/simul/simulate.cpp -o $(OBJDIR_RELEASE)/src/simul/simulate.o
$(OBJDIR_RELEASE)/src/simuleau.o: src/simuleau.cpp
$(CXX) $(CFLAGS_RELEASE) $(INC_RELEASE) -c src/simuleau.cpp -o $(OBJDIR_RELEASE)/src/simuleau.o
$(OBJDIR_RELEASE)/src/bpn/discretetransition.o: src/bpn/discretetransition.cpp
$(CXX) $(CFLAGS_RELEASE) $(INC_RELEASE) -c src/bpn/discretetransition.cpp -o $(OBJDIR_RELEASE)/src/bpn/discretetransition.o
$(OBJDIR_RELEASE)/src/bpn/batch.o: src/bpn/batch.cpp
$(CXX) $(CFLAGS_RELEASE) $(INC_RELEASE) -c src/bpn/batch.cpp -o $(OBJDIR_RELEASE)/src/bpn/batch.o
$(OBJDIR_RELEASE)/src/bpn/batchplace.o: src/bpn/batchplace.cpp
$(CXX) $(CFLAGS_RELEASE) $(INC_RELEASE) -c src/bpn/batchplace.cpp -o $(OBJDIR_RELEASE)/src/bpn/batchplace.o
$(OBJDIR_RELEASE)/src/bpn/batchtransition.o: src/bpn/batchtransition.cpp
$(CXX) $(CFLAGS_RELEASE) $(INC_RELEASE) -c src/bpn/batchtransition.cpp -o $(OBJDIR_RELEASE)/src/bpn/batchtransition.o
$(OBJDIR_RELEASE)/src/bpn/bpn.o: src/bpn/bpn.cpp
$(CXX) $(CFLAGS_RELEASE) $(INC_RELEASE) -c src/bpn/bpn.cpp -o $(OBJDIR_RELEASE)/src/bpn/bpn.o
$(OBJDIR_RELEASE)/src/bpn/continuousplace.o: src/bpn/continuousplace.cpp
$(CXX) $(CFLAGS_RELEASE) $(INC_RELEASE) -c src/bpn/continuousplace.cpp -o $(OBJDIR_RELEASE)/src/bpn/continuousplace.o
$(OBJDIR_RELEASE)/src/bpn/continuoustransition.o: src/bpn/continuoustransition.cpp
$(CXX) $(CFLAGS_RELEASE) $(INC_RELEASE) -c src/bpn/continuoustransition.cpp -o $(OBJDIR_RELEASE)/src/bpn/continuoustransition.o
$(OBJDIR_RELEASE)/src/bpn/controllablebatch.o: src/bpn/controllablebatch.cpp
$(CXX) $(CFLAGS_RELEASE) $(INC_RELEASE) -c src/bpn/controllablebatch.cpp -o $(OBJDIR_RELEASE)/src/bpn/controllablebatch.o
$(OBJDIR_RELEASE)/src/bpn/discreteplace.o: src/bpn/discreteplace.cpp
$(CXX) $(CFLAGS_RELEASE) $(INC_RELEASE) -c src/bpn/discreteplace.cpp -o $(OBJDIR_RELEASE)/src/bpn/discreteplace.o
$(OBJDIR_RELEASE)/src/bpn/arc.o: src/bpn/arc.cpp
$(CXX) $(CFLAGS_RELEASE) $(INC_RELEASE) -c src/bpn/arc.cpp -o $(OBJDIR_RELEASE)/src/bpn/arc.o
$(OBJDIR_RELEASE)/src/bpn/firingquantity.o: src/bpn/firingquantity.cpp
$(CXX) $(CFLAGS_RELEASE) $(INC_RELEASE) -c src/bpn/firingquantity.cpp -o $(OBJDIR_RELEASE)/src/bpn/firingquantity.o
$(OBJDIR_RELEASE)/src/bpn/flow.o: src/bpn/flow.cpp
$(CXX) $(CFLAGS_RELEASE) $(INC_RELEASE) -c src/bpn/flow.cpp -o $(OBJDIR_RELEASE)/src/bpn/flow.o
$(OBJDIR_RELEASE)/src/bpn/node.o: src/bpn/node.cpp
$(CXX) $(CFLAGS_RELEASE) $(INC_RELEASE) -c src/bpn/node.cpp -o $(OBJDIR_RELEASE)/src/bpn/node.o
$(OBJDIR_RELEASE)/src/bpn/place.o: src/bpn/place.cpp
$(CXX) $(CFLAGS_RELEASE) $(INC_RELEASE) -c src/bpn/place.cpp -o $(OBJDIR_RELEASE)/src/bpn/place.o
$(OBJDIR_RELEASE)/src/bpn/transition.o: src/bpn/transition.cpp
$(CXX) $(CFLAGS_RELEASE) $(INC_RELEASE) -c src/bpn/transition.cpp -o $(OBJDIR_RELEASE)/src/bpn/transition.o
$(OBJDIR_RELEASE)/src/bpn/triangularbatchplace.o: src/bpn/triangularbatchplace.cpp
$(CXX) $(CFLAGS_RELEASE) $(INC_RELEASE) -c src/bpn/triangularbatchplace.cpp -o $(OBJDIR_RELEASE)/src/bpn/triangularbatchplace.o
clean_release:
rm -f $(OBJ_RELEASE) $(OUT_RELEASE)
rm -rf bin/Release
rm -rf $(OBJDIR_RELEASE)/src/simul
rm -rf $(OBJDIR_RELEASE)/src/interf
rm -rf $(OBJDIR_RELEASE)/src
rm -rf $(OBJDIR_RELEASE)/src/bpn
.PHONY: before_debug after_debug clean_debug before_release after_release clean_release
bin/.DS_Store 0 → 100644
+ 0
− 0
View file @ 39df2438
File added
bin/Release/simuleau 0 → 100755
+ 0
− 0
View file @ 39df2438
File added
examples/batch1.bpn 0 → 100644
+ 47
− 0
View file @ 39df2438
// pure continuous petri net with constant speed.
model test;
length unity= m ;
time unity = m;
network description
places
place CP1 (continuous)
initial marking {8}
steady marking {8}
output arc T1
output arc T2 (3)
place CP2 (continuous)
initial marking {2}
steady marking {3}
output arc T2
place BP3 (batch)
function (2,4,5)
initial marking {(3,2,5)}
steady marking {(5,1,5)}
output arc T3
transitions
transition T1 (batch)
flow (1)
steady flow (1)
output arc CP2
transition T2 (batch)
flow (1)
steady flow (1)
output arc CP1 (2)
output arc BP3 (2)
transition T3 (batch)
flow (2)
steady flow (2)
output arc CP1
examples/batch11.bpn 0 → 100644
+ 44
− 0
View file @ 39df2438
model test;
length unity= m ;
time unity = m;
network description
places
place CP1 (continuous)
initial marking {8}
steady marking {8}
output arc T1
output arc T2 (3)
place CP2 (continuous)
initial marking {2}
steady marking {3}
output arc T2
place BP3 (batch)
function (2,4,5)
initial marking {(1.5,4,4)}
steady marking {(5,1,5)}
output arc T3
transitions
transition T1 (batch)
flow (1)
steady flow (1)
output arc CP2
transition T2 (batch)
flow (1)
steady flow (1)
output arc CP1 (2)
output arc BP3 (2)
transition T3 (batch)
flow (2)
steady flow (2)
output arc CP1
examples/batch111.bpn 0 → 100644
+ 47
− 0
View file @ 39df2438
// pure continuous petri net with constant speed.
model test;
length unity= m ;
time unity = m;
network description
places
place CP1 (continuous)
initial marking {8}
steady marking {8}
output arc T1
output arc T2 (3)
place CP2 (continuous)
initial marking {2}
steady marking {3}
output arc T2
place BP3 (batch)
function (2,2,5)
initial marking {(3,2,5)}
steady marking {(5,1,5)}
output arc T3
transitions
transition T1 (batch)
flow (1)
steady flow (1)
output arc CP2
transition T2 (batch)
flow (1)
steady flow (1)
output arc CP1 (2)
output arc BP3 (2)
transition T3 (batch)
flow (2)
steady flow (2)
output arc CP1
examples/batch2.bpn 0 → 100644
+ 47
− 0
View file @ 39df2438
// batch petri net without discrete nodes.
model test;
length unity= m ;
time unity = m;
network description
places
place BP2 (batch)
function (2, 4, 2) // speed, density, length
initial marking {(0.5,0.2,2),(0.3,2,1.5),(1.2,4,1.2)} //length, density, poistion
steady marking {(1,4,2),(1,1,1)}
output arc T2
place BP3 (batch)
function (2, 4, 2) // speed, density, length
initial marking {(1,4,1)} //length, density, poistion
steady marking {(1,4,2),(1,1,1)}
output arc T3
place CP1 (continuous)
initial marking {5.5}
steady marking {5}
output arc T1
transitions
transition T1 (batch)
flow (4)
steady flow (2)
output arc BP2
transition T2 (batch)
flow (2)
steady flow (2)
output arc BP3
transition T3 (batch)
flow (2)
steady flow (2)
output arc CP1
examples/batch21.bpn 0 → 100644
+ 47
− 0
View file @ 39df2438
// batch petri net
model test;
length unity= m ;
time unity = m;
network description
places
place BP2 (batch)
function (2, 4, 2) // speed, density, length
initial marking {(0.2,0.5,2),(0.3,2,1.5),(1.2,4,1.2)} //length, density, poistion
steady marking {(1,4,2),(1,1,1)}
output arc T2
place BP3 (batch)
function (2, 4, 2) // speed, density, length
initial marking {(1,4,1)} //length, density, poistion
steady marking {(1,4,2),(1,1,1)}
output arc T3
place CP1 (continuous)
initial marking {5.5}
steady marking {5}
output arc T1
transitions
transition T1 (batch)
flow (4)
steady flow (2)
output arc BP2
transition T2 (batch)
flow (2)
steady flow (2)
output arc BP3
transition T3 (batch)
flow (2)
steady flow (2)
output arc CP1
examples/batch22.bpn 0 → 100644
+ 48
− 0
View file @ 39df2438
// batch petri net
//
model test;
length unity= m ;
time unity = m;
network description
places
place BP2 (batch)
function (2, 4, 2) // speed, density, length
initial marking {(0.2,0.5,2),(0.2,2.5,1.5),(1.2,4,1.2)} //length, density, poistion
steady marking {(1,4,2),(1,1,1)}
output arc T2
place BP3 (batch)
function (2, 8, 1) // speed, density, length
initial marking {(0.5,8,0.5)} //length, density, poistion
steady marking {(0.5,8,1),(0.5,1,0.5)}
output arc T3
place CP1 (continuous)
initial marking {5.1}
steady marking {5}
output arc T1
transitions
transition T1 (batch)
flow (4)
steady flow (2)
output arc BP2
transition T2 (batch)
flow (2)
steady flow (2)
output arc BP3
transition T3 (batch)
flow (2)
steady flow (2)
output arc CP1
examples/batch23.bpn 0 → 100644
+ 47
− 0
View file @ 39df2438
// batch petri net
model test;
length unity= m ;
time unity = m;
network description
places
place BP2 (batch)
function (2, 8, 1) // speed, density, length
initial marking {(0.2,0.5,1),(0.15,4,0.75),(0.55,8,0.55)} //length, density, poistion
steady marking {(0.5,8,1),(0.5,1,0.5)}
output arc T2
place BP3 (batch)
function (2, 4, 2) // speed, density, length
initial marking {(1,4,1)} //length, density, poistion
steady marking {(1,4,2),(1,1,1)}
output arc T3
place CP1 (continuous)
initial marking {5.4}
steady marking {5}
output arc T1
transitions
transition T1 (batch)
flow (4)
steady flow (2)
output arc BP2
transition T2 (batch)
flow (2)
steady flow (2)
output arc BP3
transition T3 (batch)
flow (2)
steady flow (2)
output arc CP1
examples/batch24.bpn 0 → 100644
+ 47
− 0
View file @ 39df2438
// batch petri net
model test;
length unity= m ;
time unity = m;
network description
places
place BP2 (batch)
function (2, 8, 1) // speed, density, length
initial marking {(0.2,0.5,1),(0.1,5,0.8),(0.5,8,0.5)} //length, density, poistion
steady marking {(0.5,8,1),(0.5,1,0.5)}
output arc T2
place BP3 (batch)
function (2, 8, 1) // speed, density, length
initial marking {(0.5,8,1)} //length, density, poistion
steady marking {(0.5,8,1),(0.5,1,0.5)}
output arc T3
place CP1 (continuous)
initial marking {5.4}
steady marking {5}
output arc T1
transitions
transition T1 (batch)
flow (4)
steady flow (2)
output arc BP2
transition T2 (batch)
flow (2)
steady flow (2)
output arc BP3
transition T3 (batch)
flow (2)
steady flow (2)
output arc CP1
examples/batch25.bpn 0 → 100644
+ 47
− 0
View file @ 39df2438
// batch petri net
model test;
length unity= m ;
time unity = m;
network description
places
place BP2 (batch)
function (20, 80, 10) // speed, density, length
initial marking {(2,5,10),(1,50,8),(5,80,5)} //length, density, poistion
steady marking {(5,80,10),(5,10,5)}
output arc T2
place BP3 (batch)
function (20, 80, 10) // speed, density, length
initial marking {(5,80,10)} //length, density, poistion
steady marking {(5,80,10),(5,10,5)}
output arc T3
place CP1 (continuous)
initial marking {90}
steady marking {50}
output arc T1
transitions
transition T1 (batch)
flow (400)
steady flow (200)
output arc BP2
transition T2 (batch)
flow (200)
steady flow (200)
output arc BP3
transition T3 (batch)
flow (200)
steady flow (200)
output arc CP1
examples/batch26.bpn 0 → 100644
+ 47
− 0
View file @ 39df2438
// batch petri net
model test;
length unity= m ;
time unity = m;
network description
places
place BP2 (batch)
function (2, 8, 1) // speed, density, length
initial marking {(0.2,0.5,1),(0.1,5,0.8),(0.2,0.5,0.7),(0.1,7,0.5),(0.4,8,0.4)} //length, density, poistion
steady marking {(0.5,8,1),(0.5,1,0.5)}
output arc T2
place BP3 (batch)
function (2, 8, 1) // speed, density, length
initial marking {(0.5,8,1)} //length, density, poistion
steady marking {(0.5,8,1),(0.5,1,0.5)}
output arc T3
place CP1 (continuous)
initial marking {5.4}
steady marking {5}
output arc T1
transitions
transition T1 (batch)
flow (4)
steady flow (2)
output arc BP2
transition T2 (batch)
flow (2)
steady flow (2)
output arc BP3
transition T3 (batch)
flow (2)
steady flow (2)
output arc CP1
examples/batch27.bpn 0 → 100644
+ 47
− 0
View file @ 39df2438
// batch petri net
// bp2 > 0.5
model test;
length unity= m ;
time unity = m;
network description
places
place BP2 (batch)
function (2, 2, 0.4) // speed, density, length
initial marking {(0.1,0.5,0.4),(0.05,1.5,0.25),(0.2,2,0.2)} //length, density, poistion
steady marking {(0.1,2,0.4),(0.3,1,0.3)}
output arc T2
place BP3 (batch)
function (2, 8, 1) // speed, density, length
initial marking {(0.5,8,0.5)} //length, density, poistion
steady marking {(0.5,8,1),(0.5,1,0.5)}
output arc T3
place CP1 (continuous)
initial marking {5.25}
steady marking {5}
output arc T1
transitions
transition T1 (batch)
flow (4)
steady flow (2)
output arc BP2
transition T2 (batch)
flow (2)
steady flow (2)
output arc BP3
transition T3 (batch)
flow (2)
steady flow (2)
output arc CP1
examples/bp.bpn 0 → 100644
+ 27
− 0
View file @ 39df2438
// test batch transitions
model batch_transitions;
length unity= m ;
time unity = s;
network description
places
place PB1 (batch)
initial marking {1}
output arc TC1
place PC2 (continuous)
initial marking {1}
output arc TC2
transitions
transition TC1 (continuous)
flow (2)
output arc PC2
transition TC2 (continuous)
flow (3)
output arc PC1
examples/bpn1.bpn 0 → 100644
+ 17
− 0
View file @ 39df2438
// batch petri net
model test;
length unity= m ;
time unity = s;
network description
places
place PB (batch)
function (120, 200, 10) // speed, density, length
initial marking { (2, 150, 4), (1, 100, 1)} //length, density, position
output arc T1
transitions
transition T1 (batch)
flow (4000)
examples/bpn2.bpn 0 → 100644
+ 21
− 0
View file @ 39df2438
// batch petri net
model test;
length unity= m ;
time unity = s;
network description
places
place BP (batch)
function (100, 200, 10) // speed, density, length
initial marking {} //length, density, poistion
output arc TOut
transitions
transition TIn (batch)
flow (100000)
output arc BP
transition TOut (batch)
flow (10000)
examples/bpn3.bpn 0 → 100644
+ 26
− 0
View file @ 39df2438
// batch petri net
model test;
length unity= m ;
time unity = s;
network description
places
place BP (batch)
function (100, 200, 10) // speed, density, length
initial marking {} //length, density, poistion
output arc TOut
place CP (continuous)
initial marking {2000}
output arc TIn
transitions
transition TIn (batch)
flow (100000)
output arc BP
transition TOut (batch)
flow (10000)
output arc CP
examples/bpn4.bpn 0 → 100644
+ 39
− 0
View file @ 39df2438
// batch petri net
model test;
length unity= m ;
time unity = s;
network description
places
place BP (batch)
function (5, 15, 15) // speed, density, length
initial marking {} //length, density, poistion
output arc CTOut
place CPCap (continuous)
initial marking {225}
output arc CTIn
place CPIn (continuous)
initial marking {175}
output arc CTIn
place CPOut (continuous)
initial marking {0}
transitions
transition DTIn (discrete)
timing (4)
output arc CPIn (40)
transition CTIn (batch)
flow (70)
output arc BP
transition CTOut (batch)
flow (30)
output arc CPCap
output arc CPOut
examples/bpn5.bpn 0 → 100644
+ 53
− 0
View file @ 39df2438
// batch petri net
model test;
length unity= m ;
time unity = m;
network description
places
place CPIn (continuous)
initial marking {150}
output arc BTIn
place BP1 (batch)
function (4, 15, 12) // speed, density, length
initial marking {} //length, density, poistion
output arc BTMid
place CPCap1 (continuous)
initial marking {180}
output arc BTIn
place BP2 (batch)
function (5, 15, 20) // speed, density, length
initial marking {} //length, density, poistion
output arc BTOut
place CPCap2 (continuous)
initial marking {300}
output arc BTMid
place CPOut (continuous)
initial marking {}
transitions
transition DTIn (discrete)
timing (2)
output arc CPIn (80)
transition BTIn (batch)
flow (55)
output arc BP1
transition BTMid (batch)
flow (80)
output arc BP2
output arc CPCap1
transition BTOut (batch)
flow (30)
output arc CPCap2
output arc CPOut
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment