scholar.google.com › citations
In this note, we report on some work in progress on using rewriting logics for discrete event simulation.
Mar 8, 1993 · Abstract. In this note, we report on some work in progress on using rewriting logics for discrete event simulation.
In the present paper, we introduce a rewriting logic based behaviour semantics for Petri nets, which provides a powerful and flexible formalism for modeling and ...
A Rewriting Logic Based Behaviour Semantics of Discrete event systems Models with Complex Dynamics ... Systems in Rewriting Logic. Book. Jan 2007; Lect Notes ...
[PDF] Modular discrete event systems control based on logic inference
ceur-ws.org › Vol-2913 › paper3
The paper illustrates an application of the recently developed method of dealing with controlled automata-based discrete event systems with the help of logical ...
This paper explains (i) how we adapt, and then formalize in Real-Time Maude, the more precise Runge-Kutta numerical approximation methods to the effort/flow ...
May 8, 2013 · Abstract. Rewriting logic is an executable logical framework well suited for the semantic definition of languages. Any such framework has to ...
Rewriting logic is a simple computational logic that can naturally express both concurrent computation and logical deduction with great generality.
The motivations of writing this monograph lie in two aspects. First, we will develop an open-loop property enforcement framework for discrete- event systems.
This paper deals with automatic reconfiguration of discrete event control systems. We propose to enrich the formalism of recursive Petri nets by the concept ...