Extending the Petri box calculus with time
| dc.book.title | Applications and Theory of Petri Nets 2001 : 22nd International Conference, ICATPN 2001 Newcastle upon Tyne, UK, June 25–29, 2001 Proceedings | |
| dc.contributor.author | Marroquín Alonso, Olga | |
| dc.contributor.author | Frutos Escrig, David De | |
| dc.contributor.editor | Colom, José Manuel | |
| dc.contributor.editor | Koutny, Maciej | |
| dc.date.accessioned | 2023-06-20T21:05:20Z | |
| dc.date.available | 2023-06-20T21:05:20Z | |
| dc.date.issued | 2001 | |
| dc.description.abstract | PBC (Petri Box Calculus) is a process algebra where real parallelism of concurrent systems can be naturally expressed. One of its main features is the definition of a denotational semantics based on Petri nets, which emphasizes the structural aspects of the modelled systems. However, this formal model does not include temporal aspects of processes, which are necessary when considering real-time systems. The aim of this paper is to extend the existing calculus with those temporal aspects. We consider that actions are not instantaneous, that is, their execution takes time. We present an operational semantics and a denotational semantics based on timed Petri nets. Finally, we discuss the introduction of other new features such as time-outs and delays. Throughout the paper we assume that the reader is familiar with both Petri nets and PBC. | en |
| dc.description.department | Sección Deptal. de Sistemas Informáticos y Computación | |
| dc.description.faculty | Fac. de Ciencias Matemáticas | |
| dc.description.faculty | Instituto de Matemática Interdisciplinar (IMI) | |
| dc.description.refereed | TRUE | |
| dc.description.status | pub | |
| dc.eprint.id | https://eprints.ucm.es/id/eprint/20694 | |
| dc.identifier.citation | Marroquín Alonso, O. & Frutos Escrig, D. «Extending the Petri Box Calculus with Time». Applications and Theory of Petri Nets 2001, editado por José-Manuel Colom y Maciej Koutny, vol. 2075, Springer Berlin Heidelberg, 2001, pp. 303-22. DOI.org (Crossref), https://doi.org/10.1007/3-540-45740-2_18. | |
| dc.identifier.doi | 10.1007/3-540-45740-2_18 | |
| dc.identifier.isbn | 978-3-540-42252-5 | |
| dc.identifier.officialurl | https//doi.org/10.1007/3-540-45740-2_18 | |
| dc.identifier.relatedurl | http://link.springer.com/content/pdf/10.1007%2F3-540-45740-2_18 | |
| dc.identifier.uri | https://hdl.handle.net/20.500.14352/60657 | |
| dc.issue.number | 2075 | |
| dc.language.iso | eng | |
| dc.publisher | Springer | |
| dc.relation.ispartofseries | Lecture notes in computer science | |
| dc.rights.accessRights | open access | |
| dc.subject.cdu | 004 | |
| dc.subject.ucm | Informática (Informática) | |
| dc.subject.unesco | 1203.17 Informática | |
| dc.title | Extending the Petri box calculus with time | en |
| dc.type | book part | |
| dspace.entity.type | Publication | |
| relation.isAuthorOfPublication | 7f817c41-e4d6-47c7-8745-e4773ca9ea2c | |
| relation.isAuthorOfPublication | fc861853-ad02-4152-b8b0-e0a8df6080dc | |
| relation.isAuthorOfPublication.latestForDiscovery | 7f817c41-e4d6-47c7-8745-e4773ca9ea2c |
Download
Original bundle
1 - 1 of 1
