scientific article; zbMATH DE number 6708300

MaRDI QIDQ2979817zbMATH OpenFDO

Authors I. B. Virbitskaite, Hans Fleischhack, Anna Dedova

Publication date 26 April 2017

Full work available at URL http://bulletin.iis.nsk.su/files/article/virbitskaite.pdf

zbMATH Keywords

semanticssyntaxparametric prioritized time Petri nets

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1361123
• Verification of Timed-Arc Petri Nets
• A method for parametric verification of the behavior of time Petri nets
• Verification of reachability properties for time Petri nets
• scientific article; zbMATH DE number 1953876
• Verifying time Petri nets by linear programming
• Model Checking Bounded Prioritized Time Petri Nets

Cited in

(4)

• scientific article; zbMATH DE number 1953876 (Why is no real title available?)
• Parametric verification: an introduction
• scientific article; zbMATH DE number 1534587 (Why is no real title available?)
• Parametric model-checking of stopwatch Petri nets

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2979817)