New Formal Descriptions for Timed Coloured Petri Nets Using Formal Series.

Louis Bal dit Sollier Alain Ourghanlian Saïd Amari

Published in: CDC (2023)

Keyphrases

formal descriptions
coloured petri nets
formal concept analysis
computational model
web services
petri net
formal verification
data mining
information retrieval
knowledge discovery