Filters: First Letter Of Last Name is K [Clear All Filters]
 An Automated Framework for Formal Verification of Timed Continuous Petri Nets. IEEE Transactions on Industrial Informatics. 6(3):471.. 2010.
 A Petri net based approach for multi-robot path planning. Discrete Event Dynamic Systems: Theory and Applications.. In Press.
[IPKLMA08] Formal analysis of timed continuous Petri net.. 2008.
 LTL Planning in Dynamic Environments. WODES'12: 11th Int. Workshop on Discrete Event Systems.. 2012.
[IPJuJiReSi04a] On Observability in Timed Continuous Petri Net Systems. :60-69.. 2004.
 Online Petri Net Based Algorithm for Planning and Controlling Mobile Robots. ETFA'2012: 17th IEEE International Conference on Emerging Technologies and Factory Automation.. 2012.
 A Probabilistic Abstraction Approach for Planning and Controlling Mobile Robots. ETFA'2011: 16th IEEE International Conference on Emerging Technologies and Factory Automation.. 2011.
 Functional and Performance Analysis of Cooperating Sequential Processes. Performance Evaluation of parallel and distributed systems. Solution Methods. :234-251.. 1994.
 A General Iterative Technique for Approximate Throughput Computation of Stochastic Marked Graphs. Performance Evaluation of parallel and distributed systems. Solution Methods. :265-283.. 1994.
 Linear Algebraic Techniques for the Analysis of Petri Nets. Recent Advances in Mathematical Theory of Systems, Control, Networks, and Signal Processing II. :35-42.. 1992.
 Operational Analysis of Timed Petri Nets and Application to the Computation of Performance Bounds. Performance Evaluation of parallel and distributed systems. Solution Methods. :197-213.. 1994.
 Structural Analysis of Signal Transition Graphs based on Linear Algebraic Techniques. Petri Net Approaches for Modelling and Validation. :35-51.. 2003.
 Application and Theory of Petri Nets 2001. Lecture Notes in Computer Science.. 2001.
 Petri Net Approaches for Modelling and Validation. Lincom Studies in Computer Science. 1. 2003.
[RP-86-03] Petri nets for the specification of FMSs. :389-406.. 1986.