Additional Information
| Author(s) | Vidrascu, Cristian |
|---|
On the finiteness of the reachability set for jumping Petri nets
Cristian Vidrascu
Abstract
creative_2008_17_3_538_543_abstractFull PDF
creative_2008_17_3_538_543In this paper, we extend the decidability result concerning the finiteness of the reachability set of a net from classical Petri nets to jumping Petri nets.
Recently posted
-
Uniqueness of Shift Polynomials and Derivative Sharing Polynomial
-
Diffeomorphic embedding of Higher-dimensional Hilbert Manifolds into Hilbert spaces
-
Approximating fixed points of the SP*-iteration for generalized nonexpansive mappings in CAT(0) spaces
-
Leverage Centrality in Corona Product of Cycle with some Graphs
-
Some new results on WS-algebras
-
On Duo Γ-semihyperrings
-
Comparative Study of Different Vacation Schemes in an Inventory System with Production and Multiple Servers
-
Isomorphism of Line Graph and Common Neighbourhood Graph
-
Timelike Bonnet surfaces on Lorentzian three-manifolds
-
Nonassociative van der Waerden rings