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

DOI10.1016/S0169-023X(02)00025-3zbMath0996.68117MaRDI QIDQ4538718

Nasreddine Aoumeur, Gunter Saake

Publication date: 15 July 2002

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

Mathematics Subject Classification ID

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

Related Items (1)

Everything Is PSPACE-Complete in Interaction Systems

Uses Software

• Maude

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