Modeling multithreaded applications using Petri nets
type: Item
instance of: scholarly article
title: Modeling multithreaded applications using Petri nets
zbMATH Open document ID: 1083.68578
DOI: 10.1023/A:1019917329895
author: Krishna M. Kavi
author: Alireza Moshtaghi
author: Deng-Jyi Chen
published in: International Journal of Parallel Programming
publication date: 2003-05-06T00:00:00Z
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 1906500
zbMATH Keywords: Pthreads
zbMATH Keywords: Petri nets
zbMATH Keywords: race conditions
zbMATH Keywords: deadlocks
zbMATH Keywords: lost signals
MaRDI profile type: Publication
full work available at URL: a:1019917329895
OpenAlex ID: W1542873808
description: scientific article; zbMATH DE number 1906500