• Home
  1. Home
  2. Adding Real-Time Constraints to Synchronised Petri Nets
Technical report
OA Policy
English

Adding Real-Time Constraints to Synchronised Petri Nets

ContributorsDi Marzo Serugendo, Giovannaorcid; Mandrioli, Dino; Buchs, Didier; Guelfi, Nicolas
MandatorSoftware Engineering Laboratory, Swiss Federal Institute of Technology
Number of pages24
PublisherLausanne : Software Engineering Laboratory, Swiss Federal Institute of Technology
Publication date2000
Abstract

This report defines synchronised Petri nets with inhibitor arcs and an extension of these nets that integrates real-time constraints. The semantics of these nets is given by a transition system built using Structured Operational Semantics (SOS) rules. This report is part of a larger framework that attempts to attach real-time constraints to the CO-OPN/2 language.

Keywords
  • Real time
  • Linear temporal logic
  • Synchronised Petri Nets
Affiliation entities
Citation (ISO format)
DI MARZO SERUGENDO, Giovanna et al. Adding Real-Time Constraints to Synchronised Petri Nets. 2000
Main files (1)
Report
accessLevelPublic
Identifiers
  • PID : unige:55427
Additional URL for this publicationhttp://cui.unige.ch/~dimarzo/papers/TR-2000-341.pdf
695views
1040downloads

Technical informations

Creation24/03/2015 17:57:00
First validation24/03/2015 17:57:00
Update14/03/2023 23:10:19
Status update14/03/2023 23:10:19
Last indexation30/04/2025 15:17:34
All rights reserved by Archive ouverte UNIGE and the University of GenevaunigeBlack