Complexity Analysis of Continuous Petri Nets

Fundamenta Informaticae - Netherlands
doi 10.3233/fi-2015-1168
Full Text
Abstract

Available in full text

Date
Authors
Publisher

IOS Press

Related search

Continuous Petri Nets: Expressive Power and Decidability Issues

International Journal of Foundations of Computer Science
Computer Science
2010English

The Complexity of Diagnosability and Opacity Verification for Petri Nets

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2018English

Symbolic Analysis of Bounded Petri Nets

IEEE Transactions on Computers
HardwareArchitectureMathematicsComputational TheoryTheoretical Computer ScienceSoftware
2001English

Parameterized Complexity and Approximability of Coverability Problems in Weighted Petri Nets

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

Properties of Continuous Petri Nets Controlled via Model Predictive Control

2008English

Relation-Algebraic Analysis of Petri Nets With RELVIEW

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1996English

Supervisors of Petri Nets

Research Papers Faculty of Materials Science and Technology Slovak University of Technology
2019English

Papetri : Environment for the Analysis of PETRI Nets

English

Approximate Performability Analysis Using Generalized Stochastic Petri Nets

English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy