37 search results - page 7 / 8 » Rewriting Logic as a Unifying Framework for Petri Nets |
ISTA
2008
13 years 9 months ago
2008
Seamless exchange of models among different modeling tools increasingly becomes a crucial prerequisite for the success of modeldriven engineering. Current best practices use model ...
IEEESCC
2005
IEEE
14 years 1 months ago
2005
IEEE
eal world”, represented abstractly using (time-varying) first-order logic predicates and terms. A representative composition result [11] here uses a translation into Petri nets. ...
TCAD
2008
13 years 7 months ago
2008
State encoding is one of the most difficult problems in the synthesis of asynchronous controllers. This paper presents a method that can solve the problem of large controllers spec...
IBERAMIA
2004
Springer
14 years 27 days ago
2004
Springer
The theory of multi-adjoint logic programs has been introduced as a unifying framework to deal with uncertainty, imprecise data or incomplete information. From the applicative part...
CONEXT
2009
ACM
13 years 8 months ago
2009
ACM
The lack of automation associated with network operations in general and network configuration management in particular, is widely recognized as a significant contributing factor ...