Adding Real-Time Constraints to Synchronised Petri Nets

Technical report

Open access

English

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

Affiliation

Citation (ISO format)

DI MARZO SERUGENDO, Giovanna et al. Adding Real-Time Constraints to Synchronised Petri Nets. 2000

Report

Identifiers

595views

994downloads

Creation03/24/2015 5:57:00 PM

First validation03/24/2015 5:57:00 PM

Update time03/14/2023 11:10:19 PM

Status update03/14/2023 11:10:19 PM

Last indexation05/02/2024 4:09:05 PM