Get started
Keyword

liveness

Description: A correctness property of a computational system requiring that execution can eventually reach a desired state or satisfy a specified condition.
Wikidata ID: wiki/Q3561421
OpenAlex ID: keywords/liveness
Petri Nets: An Introduction
1985 · Wolfgang Reisig · Publikationsdatenbank der Fraunhofer-Gesellschaft (Fraunhofer-Gesellschaft) · 2,039
LSCs: Breathing Life into Message Sequence Charts
2001 · Werner Damm, David Harel · Formal Methods in System Design · 828
Containment Control in Mobile Networks
2008 · M. Ji, G. Ferrari-Trecate, et al. · IEEE Transactions on Automatic Control · 810
Liveness
2008 · Philip Auslander, Philip Auslander · Routledge eBooks · 630
Stubborn sets for reduced state space generation
1991 · Antti Valmari · Lecture notes in computer science · 558
Deadlock analysis of Petri nets using siphons and mathematical programming
1997 · Feng Chu, Xiao-Lan Xie · IEEE Transactions on Robotics and Automation · 455
A hybrid methodology for synthesis of Petri net models for manufacturing systems
1992 · M. Zhou, F. DiCesare, et al. · IEEE Transactions on Robotics and Automation · 410
Witnessing
2001 · John Durham Peters · Media Culture & Society · 409
Scheduling flexible manufacturing systems using Petri nets and heuristic search
1994 · Doo Yong Lee, F. DiCesare · IEEE Transactions on Robotics and Automation · 399
Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings
2001 · Jonghun Park, S.A. Reveliotis · IEEE Transactions on Automatic Control · 384
Design of a live and maximally permissive petri net controller using the theory of regions
2003 · A. Ghaffari, N. Rezg, et al. · IEEE Transactions on Robotics and Automation · 350
CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets
2003 · Anne Vinter Ratzer, Lisa Wells, et al. · Lecture notes in computer science · 344
Parallel and sequential mutual exclusions for petri net modeling of manufacturing systems with shared resources
1991 · M. Zhou, F. DiCesare · IEEE Transactions on Robotics and Automation · 333
Deadlock prevention policy based on Petri nets and siphons
2001 · Yisheng Huang, Muder Jeng, et al. · International Journal of Production Research · 305
Analysis of petri nets by stepwise refinements
1979 · R. Valette · Journal of Computer and System Sciences · 283
PDF
A method for stepwise refinement and abstraction of Petri nets
1983 · Ichiro Suzuki, Tadao Murata · Journal of Computer and System Sciences · 280
Performance, Utopia, and the "Utopian Performative"
2001 · Jill Dolan · Theatre Journal · 258
Stochastic Petri Nets: An Introduction to the Theory
2012 · Falko Bause, Pieter S. Kritzinger · 254
An introduction to the theoretical aspects of Coloured Petri Nets
1994 · Kurt Jensen · Lecture notes in computer science · 254
A simple and Fast Algorithm to Obtain all Invariants of a Generalised Petri Net
1982 · J. Martínez, M. Silva · Informatik-Fachberichte · 251
Complexity of some problems in Petri nets
1977 · Neil D. Jones, Lawrence H. Landweber, et al. · Theoretical Computer Science · 242
Linear algebraic and linear programming techniques for the analysis of place/transition net systems
1998 · Manuel Silva, Enrique Terue, et al. · Lecture notes in computer science · 236
Transformations and Decompositions of Nets
1987 · G. Berthelot · Lecture notes in computer science · 233
Checking properties of nets using transformations
2005 · G. Berthelot, Lri-Iie · Springer eBooks · 232
Siphon-Based Deadlock Prevention Policy for Flexible Manufacturing Systems
2006 · Y.-S. Huang, M. Jeng, et al. · IEEE Transactions on Systems Man and Cybernetics - Part A Systems and Humans · 220
Works count: 3,359
Citation count: 35,630
Year
Topic
Type