scientific article; zbMATH DE number 2084595

MaRDI QIDQ4475467zbMATH OpenFDO

Authors Osamu Katai, Kentaro Toda, Hiroshi Kawakami

Publication date 9 August 2004

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

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Computing methodologies and applications (68U99)

Recommendations

• Decentralised control of continuous Petri nets
• A novel multi-agent based complex process control system and its application
• scientific article; zbMATH DE number 1515290
• Decentralized structural controller design for large-scale discrete-event systems modelled by Petri nets
• Model checking multi-agent systems with logic based Petri nets

Cited in

(5)

• Reconfiguring system hierarchies with multi-valued logic
• A novel multi-agent based complex process control system and its application
• Graph process specifications for hybrid networked systems
• Abstractions of varying decentralization degree for reachability of coupled multiagent systems
• scientific article; zbMATH DE number 2209425 (Why is no real title available?)

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