Publications

Export 31 results:
Sort by: Author [ Title (Desc)] Type Year
Filters: First Letter Of Last Name is K  [Clear All Filters]
A B C D E F G H I J [K] L M N O P Q R S T U V W X Y Z   [Show ALL]
A
[IPReTeSi99] Recalde, L, Teruel E, Silva M.  1999.  Autonomous Continuous PT systems. 1639:107-126.
0 icon
99_RTS_ICATPN.pdf
[1278] Kloetzer, M, Mahulea C, Belta C, Silva M.  2010.  An Automated Framework for Formal Verification of Timed Continuous Petri Nets. IEEE Transactions on Industrial Informatics. 6(3):471.
[1550] Kloetzer, M, Mahulea C.  2014.  An Assembly Problem with Mobile Robots. ETFA'2014: 19th IEEE International Conference on Emerging Technologies and Factory Automation.
[1328] Colom, JM, Koutny M.  2001.  Application and Theory of Petri Nets 2001. Lecture Notes in Computer Science. 2075
[BBBCC-QMIPS-94] Baccelli, F, Balbo G, Boucherie RJ, Campos J, Chiola G.  1994.  Annotated Bibliography on Stochastic Petri Nets. 105:25-44.
0 icon
94_BBBCC_QMIPS.ps
[1552] Kloetzer, M, Mahulea C.  2015.  Accomplish Multi-Robot Tasks Via Petri Net Models. CASE'2015: IEEE Int. Conf. on Automation Science and Engineering.