Places, Transitions and Queues: New Proposals for Interconnection Semantics.

Marco Gribaudo Mauro Iacono

Published in: EPEW (2022)

Keyphrases

formal semantics
semantic representation
logical language
information systems
logic programming
high density
conceptual graphs
queueing networks
operational semantics
waiting times
service rates
processor sharing
finite capacity
queuing systems