scientific article; zbMATH DE number 1964935

zbMATH Open1035.68602MaRDI QIDQ4420344FDOQ4420344

Miguel Gea, J. L. Garrido

Publication date: 17 August 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2545/25450016.htm

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

Cited In (4)

• Ontology-driven analysis of UML-based collaborative processes using OWL-DL and CPN
• A component-based Petri net model for specifying and validating cooperative information systems
• Title not available (Why is that?)
• Title not available (Why is that?)

   Recommendations

• A component-based Petri net model for specifying and validating cooperative information systems 👍 👎
• Title not available (Why is that?) 👍 👎
• Formalising concurrent UML state machines using coloured Petri nets 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

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