Search results for "place-invariants"

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