Realizability of schedules by stochastic time Petri nets with blocking semantics

DOI10.1007/978-3-319-39086-4_11MaRDI QIDQ2822654zbMATH OpenOpenAlexFDO

Authors Loïc Hélouët, Karim Kecir

Publication date 4 October 2016

Published in Application and Theory of Petri Nets and Concurrency (Search for Journal in Brave)

Full work available at URL https://hal.inria.fr/hal-01379424/file/Schedules%28PN2016%29.pdf

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Deterministic scheduling theory in operations research (90B35)

Recommendations

• Probabilistic time Petri nets
• A causal semantic for time Petri nets
• Time processes for time Petri nets
• scientific article; zbMATH DE number 4092766
• Scheduling and control of real-time systems based on a token player approach

Cites work

• A branch and bound algorithm for scheduling trains in a railway network
• A causal semantic for time Petri nets
• A technique of state space search based on unfolding
• An improvement of McMillan's unfolding algorithm
• Complete Finite Prefixes of Symbolic Unfoldings of Safe Time Petri Nets
• Conformance testing for real-time systems
• Fault detection and diagnosis in distributed systems: An approach by partially stochastic Petri nets
• Formal Modeling and Analysis of Timed Systems
• Formal Techniques for Networked and Distributed Systems – FORTE 2004
• Model checking of time Petri nets using the state class timed automaton
• Realizability of real-time logics
• Simulation and the Monte Carlo Method

Cited in

(3)

• Real-time deadlock-free scheduling for semiconductor track systems based on colored timed Petri nets
• Probabilistic time Petri nets
• Critical paths in the partial order unfolding of a stochastic Petri net

This page was built for publication: Realizability of schedules by stochastic time Petri nets with blocking semantics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2822654)