Model validation -- a theoretical issue?

DOI10.1007/3-540-48068-4_2MaRDI QIDQ3045249zbMATH OpenFDO

Authors Jörg Desel

Publication date 12 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/2360/23600023.htm

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

• Applications and Theory of Petri Nets 2004
• Lectures on Concurrency and Petri Nets
• Analysis of discrete event systems by simulation of timed Petri net models
• scientific article; zbMATH DE number 4197449
• Petri net extensions for modelling and validating manufacturing systems

Cited in

(8)

• A multi-level approach for modelling distributed agent network
• scientific article; zbMATH DE number 6512131 (Why is no real title available?)
• scientific article; zbMATH DE number 147105 (Why is no real title available?)
• scientific article; zbMATH DE number 1203750 (Why is no real title available?)
• scientific article; zbMATH DE number 1822236 (Why is no real title available?)
• Lectures on Concurrency and Petri Nets
• Applications and Theory of Petri Nets 2004
• Discussion: Should a Working Model Actually Work?

This page was built for publication: Model validation -- a theoretical issue?

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