scientific article; zbMATH DE number 2090871

zbMATH Open1043.68925MaRDI QIDQ4813428FDOQ4813428

S. W. Loke, Sea Ling

Publication date: 13 August 2004

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

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

Recommendations

• scientific article; zbMATH DE number 1755145
• scientific article; zbMATH DE number 1822264
• Model checking multi-agent systems with logic based Petri nets
• scientific article; zbMATH DE number 1515290
• Modelling of an interactive system with an agent-based architecture using Petri nets, application of the method to the supervision of a transport system

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Cited In (4)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Coordination Models and Languages

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