Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
A method for parametric verification of the behavior of time Petri nets - MaRDI portal

A method for parametric verification of the behavior of time Petri nets

From MaRDI portal

Publication:5930822

Jump to:navigation, search

zbMath0972.68124MaRDI QIDQ5930822

I. B. Virbitskaite, E. A. Pokozy

Publication date: 6 November 2001

Published in: Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

distributed real-time systems parametric real-time temporal logic parametric time net

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Shrinking of time Petri nets

This page was built for publication: A method for parametric verification of the behavior of time Petri nets

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5930822&oldid=12073338"