|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Application and Theory of Petri Nets 1998, 19th International Conference, ICATPN '98, Lisbon, Portugal, June 22-26, 1998, Proceedings, pp. 345-364, 1998, Springer, 3-540-64677-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Application and Theory of Petri Nets ![In: Application and Theory of Petri Nets 1993, 14th International Conference, Chicago, Illinois, USA, June 21-25, 1993, Proceedings, pp. 433-452, 1993, Springer, 3-540-56863-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, 14th Conference, Madras, India, December 15-17, 1994, Proceedings, pp. 366-377, 1994, Springer, 3-540-58715-2. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
Petri nets, Invariants, Reachability analysis |
40 | Karsten Schmidt 0004 |
Using Petri Net Invariants in State Space Construction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings, pp. 473-488, 2003, Springer, 3-540-00898-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
31 | Marian V. Iordache, Panos J. Antsaklis |
Supervision Based on Place Invariants: A Survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 16(4), pp. 451-492, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Nets ![In: Application and Theory of Petri Nets and Concurrency - 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings, pp. 325-344, 2016, Springer, 978-3-319-39085-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Iwan Tabakow |
Using Place Invariants and Test Point Placement to Isolate Faults in Discrete Event Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Univers. Comput. Sci. ![In: J. Univers. Comput. Sci. 13(2), pp. 224-243, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
21 | Iwan Tabakow |
Fault Diagnosis of Discrete Event Systems Using Place Invariants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (2) ![In: Knowledge-Based Intelligent Information and Engineering Systems, 9th International Conference, KES 2005, Melbourne, Australia, September 14-16, 2005, Proceedings, Part II, pp. 541-547, 2005, Springer, 3-540-28895-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Marian V. Ioradache, Panos J. Antsaklis |
Resilience to failures and reconfigurations in the supervision based on place invariants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACC ![In: Proceedings of the 2004 American Control Conference, ACC 2004, Boston, MA, USA, June 30 - July 2, 2004, pp. 4477-4482, 2004, IEEE, 0-7803-8335-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Wlodzimierz M. Zuberek |
Stepwise refinements of net models and their place invariants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the 8th International Workshop on Petri Nets and Performance Models, PNPM 1999, Zaragoza, Spain, September 8-10, 1999, pp. 92-101, 1999, IEEE Computer Society, 0-7695-0331-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 32(1), pp. 15-28, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
21 | Karsten Schmidt 0004 |
On the Computation of Place Invariants for Algebraic Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STRICT ![In: Proceedings of the International Workshop on Structures in Concurrency Theory, STRICT 1995, Berlin, Germany, May 11-13, 1995, pp. 310-325, 1995, Springer, 978-3-540-19982-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
20 | Berndt Farwer, Saraswati Kalvala, Kundan Misra |
Controller Synthesis for Object Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings, pp. 432-451, 2003, Springer, 3-540-20461-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Søren Christensen, Niels Damgaard Hansen |
Coloured Petri Nets Extended with Channels for Synchronous Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Application and Theory of Petri Nets ![In: Application and Theory of Petri Nets 1994, 15th International Conference, Zaragoza, Spain, June 20-24, 1994, Proceedings, pp. 159-178, 1994, Springer, 3-540-58152-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Petri Nets and Other Models of Concurrency - ICATPN 2007, 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceedings, pp. 83-103, 2007, Springer, 978-3-540-73093-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | To-Yat Cheung, Yiqin Lu |
Five Classes of Invariant-Preserving Transformations on Colored Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Application and Theory of Petri Nets 1999, 20th International Conference, ICATPN '99, Williamsburg, Virginia, USA, June 21-25, 1999, Proceedings, pp. 384-403, 1999, Springer, 3-540-66132-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Y. Narahari, Nukala Viswanadham |
On the invariants of coloured Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applications and Theory in Petri Nets ![In: Advances in Petri Nets 1985, covers the 6th European Workshop on Applications and Theory in Petri Nets, Espoo, Finland in June 1985, selected papers, pp. 330-345, 1985, Springer, 3-540-16480-4. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
10 | Frantisek Capkovic |
Synthesis of the Supervising Agent in MAS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS (3) ![In: Computational Science - ICCS 2008, 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part III, pp. 545-554, 2008, Springer, 978-3-540-69388-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Networked and Distributed Systems - FORTE 2007, 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings, pp. 280-295, 2007, Springer, 978-3-540-73195-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2006 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2006, October 9-15, 2006, Beijing, China, pp. 5220-5225, 2006, IEEE, 1-4244-0258-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Jérôme Leroux |
Disjunctive Invariants for Numerical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings, pp. 93-107, 2004, Springer, 3-540-23610-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hybrid Systems ![In: Hybrid Systems V, Proceedings of the Fifth International Workshop on Hybrid Systems, Notre Dame, IN, USA, September 11-13, 1997, pp. 142-162, 1997, Springer, 3-540-65643-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
10 | Kurt Jensen |
An Introduction to the Theoretical Aspects of Coloured Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX School/Symposium ![In: A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium, Noordwijkerhout, The Netherlands, June 1-4, 1993, Proceedings, pp. 230-272, 1993, Springer, 3-540-58043-3. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
Petri Nets, Coloured Petri Nets, High-level Petri Nets |
Displaying result #1 - #23 of 23 (100 per page; Change: )
|
|