Preserving Partial Order Runs in Parametric Time Petri Nets

doi 10.1109/acsd.2015.20
Full Text
Abstract

Available in full text

Date
Authors
Publisher

IEEE

Related search

Time-Independent Liveness in Time Petri Nets

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2010English

Real-Time Synchronised Petri Nets

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

Counterexamples to “Liveness-Enforcing Supervision of Bounded Ordinary Petri Nets Using Partial-Order Methods”

IEEE Transactions on Automatic Control
ControlSystems EngineeringComputer Science ApplicationsElectricalElectronic Engineering
2004English

Symmetry Reduced State Classes for Time Petri Nets

2015English

Diagnosis of Labeled Time Petri Nets Using Time Interval Splitting

IFAC Proceedings Volumes
2014English

Controller Synthesis of Time Petri Nets Using Stopwatch

Journal of Engineering (United States)
Electronic EngineeringIndustrialMechanical EngineeringCivilStructural EngineeringManufacturing EngineeringHardwareElectricalChemical EngineeringArchitecture
2013English

Romeo: A Tool for Analyzing Time Petri Nets

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Advances in Verification of Time Petri Nets and Timed Automata

Studies in Computational Intelligence
Artificial Intelligence
2006English

Compositional Reachability in Petri Nets

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy