A component-based Petri net model for specifying and validating cooperative information systems

DOI10.1016/S0169-023X(02)00025-3MaRDI QIDQ4538718zbMATH OpenFDO

Authors Nasreddine Aoumeur, Gunter Saake

Publication date 15 July 2002

Published in Data & Knowledge Engineering (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0169-023X(02)00025-3

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

Recommendations

• scientific article; zbMATH DE number 1821346
• scientific article; zbMATH DE number 1964935
• scientific article; zbMATH DE number 1686289
• scientific article; zbMATH DE number 1686270
• Composition of software artifacts modelled using colored Petri nets

Cited in

(6)

• Composition of software artifacts modelled using colored Petri nets
• scientific article; zbMATH DE number 1708003 (Why is no real title available?)
• An Object-Oriented Component Model for Heterogeneous Nets
• scientific article; zbMATH DE number 1964935 (Why is no real title available?)
• scientific article; zbMATH DE number 1821346 (Why is no real title available?)
• Everything Is PSPACE-Complete in Interaction Systems

Describes a project that uses

Uses Software

• Maude

This page was built for publication: A component-based Petri net model for specifying and validating cooperative information systems

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