Secure interoperation design in multi-domains environments based on colored Petri nets

DOI10.1016/j.ins.2012.09.027zbMath1293.68205MaRDI QIDQ2510546

Hélène Kirchner, Hejiao Huang

Publication date: 1 August 2014

Published in: Information Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ins.2012.09.027

zbMATH Keywords

dynamic environment; conflict resolution; colored Petri nets; secure interoperation

Mathematics Subject Classification ID

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)