scientific article; zbMATH DE number 2088652

MaRDI QIDQ3045249zbMATHFDO

Authors Jörg Desel

Publication date 12 August 2004

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)

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

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 Q3045249)