scientific article; zbMATH DE number 6708300

zbMATH Open1374.68345MaRDI QIDQ2979817FDOQ2979817

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

Title of this publication is not available (Why is that?)

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

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)

Cited In (4)

• Parametric verification: an introduction
• Title not available (Why is that?)
• Parametric model-checking of stopwatch Petri nets
• Title not available (Why is that?)

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)