Used together with:
bound
(2)
interv
(1)
petri
(1)
tool
(1)
time
(1)
Stem
itpn$ (
all stems
)
1 papers:
TACAS-2009-NaumovichBG
#bound
#named
#performance
#petri net
ITPN-PerfBound: A Performance Bound Tool for Interval Time Petri Nets (
EPN
,
SB
,
MG
), pp. 50–53.
Bibliography of Software Language Engineering in Generated Hypertext
(
BibSLEIGH
) is created and maintained by
Dr. Vadim Zaytsev
.
Hosted as a part of
SLEBOK
on
GitHub
.