Mostra el registre d'ítem simple
Input/output compatibility of reactive systems
dc.contributor.author | Carmona Vargas, Josep |
dc.contributor.author | Cortadella, Jordi |
dc.contributor.other | Universitat Politècnica de Catalunya. Departament de Ciències de la Computació |
dc.date.accessioned | 2019-03-26T08:37:22Z |
dc.date.available | 2019-03-26T08:37:22Z |
dc.date.issued | 2002 |
dc.identifier.citation | Carmona, J.; Cortadella, J. Input/output compatibility of reactive systems. A: International Conference on Formal Methods in Computer-Aided Design. "Formal Methods in Computer-Aided Design, 4th International Conference, FMCAD 2002: Portland, OR, USA, November 6-8, 2002: proceedings". Springer, 2002, p. 360-377. |
dc.identifier.isbn | 978-3-540-36126-8 |
dc.identifier.uri | http://hdl.handle.net/2117/130838 |
dc.description.abstract | The notion of I/O compatibility of reactive systems is defined. It models the fact that two systems can be connected and establish a correct dialogue through their input and output events. I/O compatibility covers safeness and liveness properties that can be checked with a polynomial-time decision procedure. The relationship between observational equivalence, I/O compatibility and input properness is also studied with the aim at supporting the proposal of transformations for the synthesis of reactive systems. Finally, a set of Petri net transformations that preserve I/O compatibility are shown as an example of application of the theory presented in this paper. |
dc.format.extent | 18 p. |
dc.language.iso | eng |
dc.publisher | Springer |
dc.subject | Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica |
dc.subject.lcsh | Petri nets |
dc.subject.lcsh | Logic design |
dc.subject.lcsh | Computational complexity |
dc.subject.other | Reactive systems |
dc.subject.other | Input/Output compatibility |
dc.subject.other | Observational equivalence |
dc.subject.other | Synchronous product |
dc.subject.other | Trace theory |
dc.subject.other | Conformation |
dc.title | Input/output compatibility of reactive systems |
dc.type | Conference report |
dc.subject.lemac | Petri, Xarxes de |
dc.subject.lemac | Estructura lògica |
dc.subject.lemac | Complexitat computacional |
dc.contributor.group | Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals |
dc.identifier.doi | 10.1007/3-540-36126-X_22 |
dc.description.peerreviewed | Peer Reviewed |
dc.relation.publisherversion | https://link.springer.com/chapter/10.1007%2F3-540-36126-X_22 |
dc.rights.access | Open Access |
local.identifier.drac | 2453847 |
dc.description.version | Postprint (author's final draft) |
local.citation.author | Carmona, J.; Cortadella, J. |
local.citation.contributor | International Conference on Formal Methods in Computer-Aided Design |
local.citation.publicationName | Formal Methods in Computer-Aided Design, 4th International Conference, FMCAD 2002: Portland, OR, USA, November 6-8, 2002: proceedings |
local.citation.startingPage | 360 |
local.citation.endingPage | 377 |