commit | b44e26785cde07c16e5b8b93ac378acc9a377522 | [log] [tgz] |
---|---|---|
author | Behnaz Pourmohseni <behnaz.pourmohseni@de.bosch.com> | Fri Aug 20 12:05:52 2021 +0200 |
committer | Reiser Sebastian <Sebastian.Reiser@de.bosch.com> | Mon Nov 08 13:45:31 2021 +0100 |
tree | 4b88b6f4126c393c525134ad6a82c0c364d30958 | |
parent | 7496490fd74537eac311b4d0359dbcafd71e9e80 [diff] |
added transformation for semaphores and semaphore accesses. Added an example model that uses semaphores (countingSemaphore and Spinlock). Signed-off-by: Behnaz Pourmohseni <behnaz.pourmohseni@de.bosch.com> Signed-off-by: Reiser Sebastian <Sebastian.Reiser@de.bosch.com>