scientific article; zbMATH DE number 744061

zbMATH Open0823.68076MaRDI QIDQ4763576FDOQ4763576

Authors: Hans-Michael Hanisch 

Publication date: 29 October 1995

Title of this publication is not available (Why is that?)

Recommendations

• State space computation and analysis of Time Petri Nets
• scientific article; zbMATH DE number 1337891
• Efficient Reachability Analysis for Time Petri Nets
• scientific article; zbMATH DE number 2104635
• scientific article; zbMATH DE number 107896
• Steady state analysis of timed event graphs with time window constraints
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• A Graph-Theoretic Approach for Timing Analysis and its Implementation
• scientific article; zbMATH DE number 1755141
• Analyzing Timed Systems Using Tree Automata

zbMATH Keywords

manufacturing systemoptimal scheduling problem

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (4)

• Coloured Petri net scheduling models: Timed state space exploration shortages
• Title not available (Why is that?)
• Steady state analysis of timed event graphs with time window constraints
• Analysis of P-time event graphs in (max,+) and (min,+) semirings

This page was built for publication:

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