Towards a synchrony theory for P/T nets
Concurrency and nets: advances in Petri nets
Free choice Petri nets
Structure theory of equal conflict systems
Theoretical Computer Science - Special volume on Petri nets
Autonomous And Timed Continous Petri Nets
Papers from the 12th International Conference on Applications and Theory of Petri Nets: Advances in Petri Nets 1993
Papers from the 12th International Conference on Applications and Theory of Petri Nets: Advances in Petri Nets 1993
FSPNs: Fluid Stochastic Petri Nets
Proceedings of the 14th International Conference on Application and Theory of Petri Nets
Continuous Petri Nets and Transition Systems
Unifying Petri Nets, Advances in Petri Nets
On Controllability of Timed Continuous Petri Nets
HSCC '08 Proceedings of the 11th international workshop on Hybrid Systems: Computation and Control
On fluidization of discrete event models: observation and control of continuous Petri nets
Discrete Event Dynamic Systems
Continuization of timed petri nets: from performance evaluation to observation and control
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Unfoldings of bounded hybrid petri nets
EUROCAST'11 Proceedings of the 13th international conference on Computer Aided Systems Theory - Volume Part I
Piecewise constant timed continuous PNs for the steady state estimation of stochastic PNs
Discrete Event Dynamic Systems
Optimal stationary behavior for a class of timed continuous Petri nets
Automatica (Journal of IFAC)
Complexity analysis of continuous Petri nets
PETRI NETS'13 Proceedings of the 34th international conference on Application and Theory of Petri Nets and Concurrency
Formal simulation model to optimize building sustainability
Advances in Engineering Software
Hi-index | 0.00 |
Discrete event dynamic systems may have extremely large state spaces. For their analysis, it is usual to relax the description by removing the integrality constraints. Applying this idea, continuous P/T systems are defined by allowing fractional firings of transitions, and thus the existence of non-discrete markings [4,5,1]. In this paper we compare the behaviors of discrete and continuous systems, and observe that they are not necessarily similar. The problems that appear lead to the definition of two extensions of reachability. Many properties shall be extended differently depending on which reachability definition is being considered. Here, we concentrate on liveness and deadlock-freeness, proposing extensions and relating them to their discrete counterparts.