The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase place-invariants (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1985-2004 (15) 2005-2016 (8)
Publication types (Num. hits)
article(3) inproceedings(20)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 24 occurrences of 18 keywords

Results
Found 23 publication records. Showing 23 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
110Ekkart Kindler, Hagen Völzer Flexibility in Algebraic Nets. Search on Bibsonomy ICATPN The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Algebraic Petri nets, place invariants, verification techniques
60Rüdiger Valk Bridging the Gap Between Place- and Floyd-Invariants with Applications to Preemptive Scheduling. Search on Bibsonomy Application and Theory of Petri Nets The full citation details ... 1993 DBLP  DOI  BibTeX  RDF structure and behavior of Petri nets, place-invariants, Floyd-invariants, selfmodifying coloured Petrinets, program verification, coloured Petri nets, higher-level net models, analysis and synthesis
41Jörg Desel Proving Non-Reachabililty by Modulo-Place-Invariants. Search on Bibsonomy FSTTCS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF Petri nets, Invariants, Reachability analysis
40Karsten Schmidt 0004 Using Petri Net Invariants in State Space Construction. Search on Bibsonomy TACAS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
31Marian V. Iordache, Panos J. Antsaklis Supervision Based on Place Invariants: A Survey. Search on Bibsonomy Discret. Event Dyn. Syst. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Petri nets, Mutual exclusion, Supervisory control
21Leonid W. Dworzanski, Irina A. Lomazova Structural Place Invariants for Analyzing the Behavioral Properties of Nested Petri Nets. Search on Bibsonomy Petri Nets The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
21Iwan Tabakow Using Place Invariants and Test Point Placement to Isolate Faults in Discrete Event Systems. Search on Bibsonomy J. Univers. Comput. Sci. The full citation details ... 2007 DBLP  BibTeX  RDF
21Iwan Tabakow Fault Diagnosis of Discrete Event Systems Using Place Invariants. Search on Bibsonomy KES (2) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
21Marian V. Ioradache, Panos J. Antsaklis Resilience to failures and reconfigurations in the supervision based on place invariants. Search on Bibsonomy ACC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
21Wlodzimierz M. Zuberek Stepwise refinements of net models and their place invariants. Search on Bibsonomy PNPM The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
21Katerina Yamalidou, John O. Moody, Michael D. Lemmon, Panos J. Antsaklis Feedback control of petri nets based on place invariants. Search on Bibsonomy Autom. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
21Karsten Schmidt 0004 On the Computation of Place Invariants for Algebraic Petri Nets. Search on Bibsonomy STRICT The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
20Berndt Farwer, Saraswati Kalvala, Kundan Misra Controller Synthesis for Object Petri Nets. Search on Bibsonomy ICFEM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
20Søren Christensen, Niels Damgaard Hansen Coloured Petri Nets Extended with Channels for Synchronous Communication. Search on Bibsonomy Application and Theory of Petri Nets The full citation details ... 1994 DBLP  DOI  BibTeX  RDF re-usable models, invariant analysis, Coloured Petri nets, channels, synchronous communication, modular specifications
17Gianfranco Ciardo, Gerald Lüttgen, Andy Jinqing Yu Improving Static Variable Orders Via Invariants. Search on Bibsonomy ICATPN The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
17To-Yat Cheung, Yiqin Lu Five Classes of Invariant-Preserving Transformations on Colored Petri Nets. Search on Bibsonomy ICATPN The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
17Y. Narahari, Nukala Viswanadham On the invariants of coloured Petri nets. Search on Bibsonomy Applications and Theory in Petri Nets The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
10Frantisek Capkovic Synthesis of the Supervising Agent in MAS. Search on Bibsonomy ICCS (3) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF modelling, MAS, Agent, Petri nets, invariants, supervisor
10Kais Klai, Laure Petrucci, Michel A. Reniers An Incremental and Modular Technique for Checking LTL\X Properties of Petri Nets. Search on Bibsonomy FORTE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
10Jihong Yan, Yanhe Zhu, Jie Zhao 0003, Hegao Cai Task Planner Design Based on Petri Net for Multi-robot Teleoperation over Internet. Search on Bibsonomy IROS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
10Jérôme Leroux Disjunctive Invariants for Numerical Systems. Search on Bibsonomy ATVA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
10Xenofon D. Koutsoukos, Panos J. Antsaklis Hybrid Control Systems Usind Timed Petri Nets: Supervisory Control Design Based on Invariant Properties. Search on Bibsonomy Hybrid Systems The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
10Kurt Jensen An Introduction to the Theoretical Aspects of Coloured Petri Nets. Search on Bibsonomy REX School/Symposium The full citation details ... 1993 DBLP  DOI  BibTeX  RDF Petri Nets, Coloured Petri Nets, High-level Petri Nets
Displaying result #1 - #23 of 23 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license