Fuzzy colored time Petri net and termination analysis for fuzzy event-condition-action rules

DOI10.1016/j.ins.2012.12.030zbMath1293.68206MaRDI QIDQ2510127

Yanyan Li

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.12.030

zbMATH Keywords

Petri net; termination analysis; pervasive computing; ECA rules; fuzzy colored time Petri net; fuzzy ECA rules

Mathematics Subject Classification ID

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