Modelling and analysis of a DANFOSS flowmeter system using coloured Petri nets

DOI10.1007/3-540-44988-4_20MaRDI QIDQ2766572zbMATH OpenFDO

Authors Louise Lorentsen, Lars M. Kristensen

Publication date 17 June 2002

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

Full work available at URL https://doi.org/10.1007/3-540-44988-4_20

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Computing methodologies and applications (68U99)

Recommendations

• The practitioner's guide to coloured Petri nets.
• Coloured Petri nets. Basic concepts, analysis methods and practical use. Vol. 3
• The modeling of flow of IT equipment to a unit of services IT by coloured Petri net
• scientific article; zbMATH DE number 4001495
• scientific article; zbMATH DE number 4028914

Cited in

(1)

• scientific article; zbMATH DE number 2069525 (Why is no real title available?)

Describes a project that uses

Uses Software

• Design/CPN

This page was built for publication: Modelling and analysis of a DANFOSS flowmeter system using coloured Petri nets

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