Commit a26912d9 authored by Markus Klinik's avatar Markus Klinik
Browse files

initial from previous paper

parents
[submodule "bibliography"]
path = bibliography
url = git@github.com:mklinik/bibliography.git
This diff is collapsed.
SOURCES=acmthm.sty proportioneleListings.tex ACM-Reference-Format.bst acmart.cls bibliography/computer_science.bib klinik2018-workflow-resource-time-analysis.tex latexmkrc
_build/klinik2018-workflow-resource-time-analysis.pdf: $(SOURCES)
latexmk -norc -r latexmkrc klinik2018-workflow-resource-time-analysis
DISTDIR=klinik2018-workflow-resource-time-analysis
dist: $(SOURCES)
latexmk klinik2018-workflow-resource-time-analysis
mkdir -p $(DISTDIR)/bibliography
for FILE in $(SOURCES) ; do \
cp $$FILE $(DISTDIR)/$$FILE; \
done
cp Makefile $(DISTDIR)
cp _build/version.tex $(DISTDIR)
zip -r $(DISTDIR) $(DISTDIR)
.PHONY: clean
clean:
rm -rf $(DISTDIR)
rm -rf _build
rm klinik2018-workflow-resource-time-analysis.zip
This diff is collapsed.
%%
%% This is file `acmthm.sty',
%% generated with the docstrip utility.
%%
%% The original source files were:
%%
%% acmart.dtx (with options: `acmthm')
%%
%% IMPORTANT NOTICE:
%%
%% For the copyright see the source file.
%%
%% Any modified versions of this file must be renamed
%% with new filenames distinct from acmthm.sty.
%%
%% For distribution of the original source see the terms
%% for copying and modification in the file acmart.dtx.
%%
%% This generated file may be distributed as long as the
%% original source files, as listed above, are part of the
%% same distribution. (The sources need not necessarily be
%% in the same archive or directory.)
%% \CharacterTable
%% {Upper-case \A\B\C\D\E\F\G\H\I\J\K\L\M\N\O\P\Q\R\S\T\U\V\W\X\Y\Z
%% Lower-case \a\b\c\d\e\f\g\h\i\j\k\l\m\n\o\p\q\r\s\t\u\v\w\x\y\z
%% Digits \0\1\2\3\4\5\6\7\8\9
%% Exclamation \! Double quote \" Hash (number) \#
%% Dollar \$ Percent \% Ampersand \&
%% Acute accent \' Left paren \( Right paren \)
%% Asterisk \* Plus \+ Comma \,
%% Minus \- Point \. Solidus \/
%% Colon \: Semicolon \; Less than \<
%% Equals \= Greater than \> Question mark \?
%% Commercial at \@ Left bracket \[ Backslash \\
%% Right bracket \] Circumflex \^ Underscore \_
%% Grave accent \` Left brace \{ Vertical bar \|
%% Right brace \} Tilde \~}
\ProvidesPackage{acmthm}
[2017/08/12 v1.44 Typesetting articles for Association of
Computing Machinery]
\def\@acmplainbodyfont{\itshape}
\def\@acmplainindent{\parindent}
\def\@acmplainheadfont{\scshape}
\def\@acmplainnotefont{\@empty}
\ifcase\ACM@format@nr
\relax % manuscript
\or % acmsmall
\or % acmlarge
\or % acmtog
\or % sigconf
\or % siggraph
\or % sigplan
\def\@acmplainbodyfont{\itshape}
\def\@acmplainindent{\z@}
\def\@acmplainheadfont{\bfseries}
\def\@acmplainnotefont{\normalfont}
\or % sigchi
\or % sigchi-a
\fi
\newtheoremstyle{acmplain}%
{.5\baselineskip\@plus.2\baselineskip
\@minus.2\baselineskip}% space above
{.5\baselineskip\@plus.2\baselineskip
\@minus.2\baselineskip}% space below
{\@acmplainbodyfont}% body font
{\@acmplainindent}% indent amount
{\@acmplainheadfont}% head font
{.}% punctuation after head
{.5em}% spacing after head
{\thmname{#1}\thmnumber{ #2}\thmnote{ {\@acmplainnotefont(#3)}}}% head spec
\def\@acmdefinitionbodyfont{\normalfont}
\def\@acmdefinitionindent{\parindent}
\def\@acmdefinitionheadfont{\itshape}
\def\@acmdefinitionnotefont{\@empty}
\ifcase\ACM@format@nr
\relax % manuscript
\or % acmsmall
\or % acmlarge
\or % acmtog
\or % sigconf
\or % siggraph
\or % sigplan
\def\@acmdefinitionbodyfont{\normalfont}
\def\@acmdefinitionindent{\z@}
\def\@acmdefinitionheadfont{\bfseries}
\def\@acmdefinitionnotefont{\normalfont}
\or % sigchi
\or % sigchi-a
\fi
\newtheoremstyle{acmdefinition}%
{.5\baselineskip\@plus.2\baselineskip
\@minus.2\baselineskip}% space above
{.5\baselineskip\@plus.2\baselineskip
\@minus.2\baselineskip}% space below
{\@acmdefinitionbodyfont}% body font
{\@acmdefinitionindent}% indent amount
{\@acmdefinitionheadfont}% head font
{.}% punctuation after head
{.5em}% spacing after head
{\thmname{#1}\thmnumber{ #2}\thmnote{ {\@acmdefinitionnotefont(#3)}}}% head spec
\theoremstyle{acmplain}
\newtheorem{theorem}{Theorem}[section]
\newtheorem{conjecture}[theorem]{Conjecture}
\newtheorem{proposition}[theorem]{Proposition}
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{corollary}[theorem]{Corollary}
\theoremstyle{acmdefinition}
\newtheorem{example}[theorem]{Example}
\newtheorem{definition}[theorem]{Definition}
\theoremstyle{acmplain}
\def\@proofnamefont{\scshape}
\def\@proofindent{\indent}
\ifcase\ACM@format@nr
\relax % manuscript
\or % acmsmall
\or % acmlarge
\or % acmtog
\or % sigconf
\or % siggraph
\or % sigplan
\def\@proofnamefont{\itshape}
\def\@proofindent{\noindent}
\or % sigchi
\or % sigchi-a
\fi
\renewenvironment{proof}[1][\proofname]{\par
\pushQED{\qed}%
\normalfont \topsep6\p@\@plus6\p@\relax
\trivlist
\item[\@proofindent\hskip\labelsep
{\@proofnamefont #1\@addpunct{.}}]\ignorespaces
}{%
\popQED\endtrivlist\@endpefalse
}
\endinput
%%
%% End of file `acmthm.sty'.
Subproject commit f0e0ab3e7f2b9da3be1c2aaa1402e18c8ddc71c3
%% For double-blind review submission
%\documentclass[sigplan,10pt,review,anonymous]{acmart}\settopmatter{printfolios=true}
%% For single-blind review submission
%\documentclass[sigplan,10pt,review]{acmart}\settopmatter{printfolios=true}
%% For final camera-ready submission
\documentclass[sigconf]{acmart}\settopmatter{}
%% Note: Authors migrating a paper from traditional SIGPLAN
%% proceedings format to PACMPL format should change 'sigplan' to
%% 'acmsmall'.
%% Some recommended packages.
\usepackage{booktabs} %% For formal tables:
%% http://ctan.org/pkg/booktabs
\usepackage{subcaption} %% For complex figures with subfigures/subcaptions
%% http://ctan.org/pkg/subcaption
%% Bibliography style
\bibliographystyle{ACM-Reference-Format}
%% Citation style
%% Note: author/year citations are required for papers published as an
%% issue of PACMPL.
\citestyle{acmauthoryear} %% For author/year citations
%\citestyle{acmnumeric} %% For numeric citations
%\setcitestyle{nosort} %% With 'acmnumeric', to disable automatic
%% sorting of references within a single citation;
%% e.g., \cite{Smith99,Carpenter05,Baker12}
%% rendered as [14,5,2] rather than [2,5,14].
%\setcitesyle{nocompress} %% With 'acmnumeric', to disable automatic
%% compression of sequential references within a
%% single citation;
%% e.g., \cite{Baker12,Baker14,Baker16}
%% rendered as [2,3,4] rather than [2-4].
% BEGIN my packages ===================================
% needed when you have many packages???
% https://tex.stackexchange.com/questions/38607/no-room-for-a-new-dimen
\usepackage{etex}
% IEEEeqnarray
\usepackage[retainorgcmds]{IEEEtrantools}
\renewcommand{\IEEEQED}{\qed}
\renewcommand{\IEEEproofindentspace}{0pt}
\usepackage{tikz}
\usetikzlibrary{arrows.meta}
\usepackage{listings}
%\input{proportioneleListings.tex}
% proof trees
\usepackage{bussproofs}
\def\defaultHypSeparation{\hskip .1in}
% END my packages =====================================
% version.tex needs to define the command \version
\IfFileExists{version.tex}
{\input{version.tex}}
{\newcommand{\version}{unknown version}}
\hypersetup
{ pdfcreator=\version
}
%BEGIN user-defined commands ===========================
\newcommand{\todo}[1]{\textcolor{red}{\emph{Todo: #1}}}
% general math
\newcommand{\set}[1]{\{\,#1\,\}}
\newcommand{\tuple}[1]{\langle #1 \rangle}
\newcommand{\tuplee}[2]{\langle #1,\ #2 \rangle}
\newcommand{\xN}{\overline{\mathbb{N}}}
\newcommand{\N}{\mathbb{N}}
\newcommand{\W}{\mathcal{W}}
\newcommand{\Uni}{\mathcal{U}}
\newcommand{\solution}{s}
% expression syntax
\newcommand{\midd}{\ \mid\ }
\newcommand{\kw}[1]{\mathbf{#1}}
\newcommand{\fn}[2]{\kw{fn}\,#1.#2}
\newcommand{\fix}[3]{\kw{fix}\,#1 #2.#3}
\newcommand{\ite}[3]{\kw{if}\ #1\ \kw{then}\ #2\ \kw{else}\ #3}
\newcommand{\letexpr}[3]{\kw{let}\ #1 = #2\ \kw{in}\ #3}
\newcommand{\use}[2]{\kw{use}\ [#1]\ #2}
\newcommand{\return}[1]{\kw{return}\ #1}
\newcommand{\seq}{\mathbin{\gg}}
\newcommand{\para}{\mathbin{\&}}
\newcommand{\bind}{\mathbin{\gg\kern-1.2pt=}}
\newcommand{\costClosure}[3]{\mathit{pp}(#1,#2,#3)}
\newcommand{\true}{\kw{True}}
\newcommand{\false}{\kw{False}}
% type syntax
\newcommand{\type}{\mathbin{:}}
\newcommand{\subtype}{\mathbin{<\kern -2.3pt\raisebox{0.4pt}{$:$}}}
\renewcommand{\int}{\textit{int}}
\newcommand{\bool}{\textit{bool}}
\newcommand{\task}[1]{\textit{task}\ #1}
\newcommand{\taska}[2]{\textit{task}\,#1\,#2}
\newcommand{\op}{\odot}
\newcommand{\htau}{\hat\tau}
% semantics
\newcommand{\monSem}{\twoheadrightarrow}
\newcommand{\pureSem}{\rightarrow}
\newcommand{\rcombine}{\boxplus}
\newcommand{\append}{\ensuremath{\mathbin{+\mkern-6mu+}}}
\newcommand{\widen}{\mathbin{\nabla}}
\newcommand{\below}{\sqsubseteq}
\newcommand{\abovee}{\sqsupseteq}
% tikz drawings
% x- and y tick marks of a coordinate system
\newcommand{\xTick}[2]{%
\draw (#1, 0.2) -- (#1, -0.2);%
\draw (#1, 0) node[below=0.5ex]{#2};
}
\newcommand{\yTick}[2]{%
\draw (-0.2, #1) -- (0.2, #1);%
\draw (0, #1) node[left=0.5ex]{#2};
}
\tikzset{skyline/.style={very thick}}
\tikzset{axis/.style={->}}
\tikzset{endInterval/.style={Bracket[]-Bracket[]}}
% https://tex.stackexchange.com/questions/49888/tikzpicture-alignment-and-centering
\tikzset
{ master/.style=
{
% save the current bounding box
execute at end picture=
{
\coordinate (lower right) at (current bounding box.south east);
\coordinate (upper left) at (current bounding box.north west);
}
}
, slave/.style=
{
% override bounding box with saved one
execute at end picture=
{
\pgfresetboundingbox
\path (upper left) rectangle (lower right);
}
}
}
%END user-defined commands ===========================
% To eliminate widows and orphans.
% https://www.conference-publishing.com/Help.php
\clubpenalty = 10000
\widowpenalty = 10000
\displaywidowpenalty = 10000
% The two columns of the last page need to have the same length.
\usepackage{flushend}
\begin{document}
%% Title information
\title[C2 Planning and Scheduling]{Planning, Scheduling, and Plan Execution for Command and Control}
%% [Short Title] is optional;
%% when present, will be used in
%% header instead of Full Title.
%\titlenote{with title note} %% \titlenote is optional;
%% can be repeated if necessary;
%% contents suppressed with 'anonymous'
%\subtitle{Subtitle} %% \subtitle is optional
%\subtitlenote{with subtitle note} %% \subtitlenote is optional;
%% can be repeated if necessary;
%% contents suppressed with 'anonymous'
%% Author information
%% Contents and number of authors suppressed with 'anonymous'.
%% Each author should be introduced by \author, followed by
%% \authornote (optional), \orcid (optional), \affiliation, and
%% \email.
%% An author may have multiple affiliations and/or emails; repeat the
%% appropriate command.
%% Many elements are not rendered, but should be provided for metadata
%% extraction tools.
%% Author with single affiliation.
\author{Markus Klinik}
%\authornote{with author1 note} %% \authornote is optional;
%% can be repeated if necessary
%\orcid{nnnn-nnnn-nnnn-nnnn} %% \orcid is optional
\affiliation{
%\position{Position1}
\department{Institute for Computing and Information Sciences} %% \department is recommended
\institution{Radboud University} %% \institution is required
%\streetaddress{Street1 Address1}
\city{Nijmegen}
%\state{State1}
%\postcode{Post-Code1}
\country{The Netherlands}
}
\email{m.klinik@cs.ru.nl} %% \email is recommended
%% Author with two affiliations and emails.
\author{Jan Martin Jansen}
\affiliation{
\institution{Netherlands Defence Academy (NLDA)}
\city{Den Helder}
\country{The Netherlands}
}
\email{jm.jansen.04@mindef.nl}
\author{Rinus Plasmeijer}
\affiliation{
\department{Institute for Computing and Information Sciences}
\institution{Radboud University}
\city{Nijmegen}
\country{The Netherlands}
}
\email{rinus@cs.ru.nl}
%% Paper note
%% The \thanks command may be used to create a "paper note" ---
%% similar to a title note or an author note, but not explicitly
%% associated with a particular element. It will appear immediately
%% above the permission/copyright statement.
%\thanks{with paper note} %% \thanks is optional
%% can be repeated if necesary
%% contents suppressed with 'anonymous'
%% Abstract
%% Note: \begin{abstract}...\end{abstract} environment must come
%% before \maketitle command
\begin{abstract}
In this paper we do something.
\end{abstract}
%% 2012 ACM Computing Classification System (CSS) concepts
%% Generate at 'http://dl.acm.org/ccs/ccs.cfm'.
%\begin{CCSXML}
%<ccs2012>
%<concept>
%<concept_id>10003752.10010124.10010138.10010143</concept_id>
%<concept_desc>Theory of computation~Program analysis</concept_desc>
%<concept_significance>500</concept_significance>
%</concept>
%</ccs2012>
%\end{CCSXML}
%\ccsdesc[500]{Theory of computation~Program analysis}
%% End of generated code
\copyrightyear{2018}
\acmYear{2018}
\setcopyright{none}
\acmConference[]{}{}{}
\acmBooktitle{}
\acmPrice{}
\acmDOI{}
\acmISBN{}
\settopmatter{printacmref=false}
%% Keywords
%% comma separated list
%\keywords{workflow systems, resource modelling, type and effect systems} %% \keywords is optional
%% \maketitle
%% Note: \maketitle command must come after title commands, author
%% commands, abstract environment, Computing Classification System
%% environment and commands, and keywords command.
\maketitle
\section{Introduction}
\label{secIntroduction}
%\section{Conclusions}
%\label{secConclusion}
%\section{Future Work}
%\label{secFutureWork}
%\section{Related Work}
%\label{secRelatedWork}
%% Acknowledgments
\begin{acks} %% acks environment is optional
%% contents suppressed with 'anonymous'
We would like to thank
This research is funded by the Royal Netherlands Navy and TNO.
%% Commands \grantsponsor{<sponsorID>}{<name>}{<url>} and
%% \grantnum[<url>]{<sponsorID>}{<number>} should be used to
%% acknowledge financial support and will be used by metadata
%% extraction tools.
\end{acks}
%% Bibliography
\bibliography{bibliography/computer_science}
%% Appendix
%\appendix
%\section{Appendix}
%Text of appendix \ldots
\end{document}
% vim: spell spelllang=en
$pdf_mode = 1;
$out_dir = "_build";
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment