Symbolic Analysis of Bounded Petri Nets

IEEE Transactions on Computers - United States
doi 10.1109/12.926158
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Institute of Electrical and Electronics Engineers (IEEE)

Related search

DSSZ-MC – A Tool for Symbolic Analysis of Extended Petri Nets

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Complexity Analysis of Continuous Petri Nets

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2015English

Optimal Sensor Selection for Ensuring Diagnosability in Labeled Bounded Petri Nets

IFAC Proceedings Volumes
2012English

Combining Structural and Enumerative Techniques for the Validation of Bounded Petri Nets

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2001English

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

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

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