tp_tparallel.cpp
Go to the documentation of this file.
1 /* tp_tparallel.cpp -- timed parallel composition */
2 
3 /* Timeplugin for FAU Discrete Event Systems Library (libfaudes)
4 
5  Copyright (C) 2007 Thomas Moor
6  Exclusive copyright is granted to Klaus Schmidt
7 
8 */
9 
10 
11 #include "tp_tparallel.h"
12 
tp_tparallel.h
Parallel composition for timed automata.

libFAUDES 2.32b --- 2024.03.01 --- c++ api documentaion by doxygen

>>