Used together with:
develop
(1)
petri
(1)
net
(1)
time
(1)
integr
(1)
Stem
tapaal$ (
all stems
)
1 papers:
TACAS-2012-DavidJJJMS
#development
#ide
#petri net
TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets (
AD
,
LJ
,
MJ
,
KYJ
,
MHM
,
JS
), pp. 492–497.
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
.