J
Jan Magott
Researcher at Wrocław University of Technology
Publications - 50
Citations - 573
Jan Magott is an academic researcher from Wrocław University of Technology. The author has contributed to research in topics: Petri net & Fault tree analysis. The author has an hindex of 14, co-authored 49 publications receiving 546 citations. Previous affiliations of Jan Magott include University of Wrocław.
Papers
More filters
Journal ArticleDOI
Performance evaluation of concurrent systems using Petri nets
TL;DR: Il existe deux approches du temps de modelisation des operations, la premiere methode associe le temps aux transitions tandis que la seconde associes le Temps au lieu.
Journal ArticleDOI
A System-Theoretic Accident Model and Process with Human Factors Analysis and Classification System taxonomy
TL;DR: The aim of this paper is to enhance STAMP error taxonomy by Human Factors Analysis and Classification System (HFACS) by creating a framework for accident analysis that allows for an analysis of a safety-related occurrence focused on finding some adverse relationships between the components.
Journal ArticleDOI
Timing analysis of safety properties using fault trees with time dependencies and timed state-charts
Jan Magott,Pawel Skrobanek +1 more
TL;DR: In order to reduce the practical complexity of computing the FTTD time parameters, some reductions of TSCs are defined in the paper, such as sequential, alternative, loop (iteration), and parallel.
Journal ArticleDOI
Estimating the mean completion time of PERT networks with exponentially distributed durations of activities
Jan Magott,Kamil Skudlarski +1 more
TL;DR: An approximate method for estimating the mean completion time of the above networks is proposed, of polynomial computational complexity, and the accuracy is compared with the best upper bound for the considered kind of networks.
Journal ArticleDOI
Method of time Petri net analysis for analysis of fault trees with time dependencies
Jan Magott,P. Skrobanek +1 more
TL;DR: In this article, the authors introduce a new method for analysing such TPNs that model FTs, which does not consider all states that are reachable from the initial marking in classical TPN analysis but only those that lead to the occurrence of a hazard.