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