Flow-Invariant Sets with Respect to the Markings of Timed Continuous Petri Nets (original) (raw)
Related papers
Properties of Distributed Timed-Arc Petri Nets
Lecture Notes in Computer Science, 2001
On Sampling Continuous Timed Petri Nets: Reachability ”Equivalence” Under Infinite Servers Semantics
Analysis and Design of Hybrid Systems 2006, 2006
On performance monotonicity and basic servers semantics of continuous Petri nets
2006 8th International Workshop on Discrete Event Systems, 2006
Properties of Untimed Routed Petri Nets
Basic Server Semantics and Performance Monotonicity of Continuous Petri Nets
Discrete Event Dynamic Systems, 2009
Observability of continuous Petri nets with infinite server semantics
2010
Reachability analysis for a class of Petri nets
On controllability of timed continuous petri net systems: The join free case
Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference, CDC-ECC '05, 2005
On observability in timed continuous Petri net systems
Quantitative Evaluation of …, 2004
Timing-dependent boundedness and liveness in continuous Petri nets
10th International Workshop on Discrete Event Systems (2010), 2010
The Confluence Property for Petri Nets and its Applications
2006
Linear time analysis of properties of conflict-free and general Petri nets
Luigi Laura, Paola Alimonti, Umberto Nanni
Theoretical Computer Science, 2011
Marking homothetic monotonicity and fluidization of untimed Petri nets
Decidability of Properties of Timed-Arc Petri Nets
Lecture Notes in Computer Science, 2000
On weak persistency of petri nets
Information Processing Letters, 1981
Observer design for untimed continuous Petri nets
2009 American Control Conference, 2009
Tracking Control of Join-Free Timed Continuous Petri Net Systems under Infinite Servers Semantics
Discrete Event Dynamic Systems, 2008
On Liveness and Controlled Siphon Property in Nets
An Automated Framework for Formal Verification of Timed Continuous Petri Nets
IEEE Transactions on Industrial Informatics, 2000
Continuous Petri Nets: Controllability and Control
Lecture Notes in Control and Information Sciences, 2013
Some results on timed petri-nets
Optimization Techniques
ACM Transactions in Embedded Computing Systems, 2014
Monotonic Extensions of Petri Nets
Electronic Notes in Theoretical Computer Science, 2003
Linear time algorithms for liveness and boundedness in conflict-free Petri nets
LATIN'92, 1992
Observability of Timed Continuous Petri Nets: A Class of Hybrid Systems
Proceedings of the 17th IFAC World Congress, 2008, 2008
Observers for nondeterministic λ-free labeled Petri nets
2003
Decidability results in firstorder hybrid petri nets. Discrete Event Dynamic Systems
2001
On interleaving in {P,A}-Time Petri nets with strong semantics