Validation of GSPN and SWN models through the PROD tool

DOI10.1007/3-540-46029-2_8MaRDI QIDQ4738771zbMATH OpenFDO

Authors S. Donatelli, Liliana Ferro

Publication date 11 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2324/23240131.htm

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Synergistic verification and validation of systems and software engineering models
• A toolset for modelling and verification of GALS systems
• Verification and validation of simulation models
• Model mining and efficient verification of software product lines

Cited in

(2)

• GreatSPN 1.7: Graphical editor and analyzer for timed and stochastic Petri nets
• Implementing compositionality for stochastic Petri nets

Describes a project that uses

Uses Software

• GreatSPN
• GreatSPN 1.7
• PROD

This page was built for publication: Validation of GSPN and SWN models through the PROD tool

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