Result 1 to 20 of 46 total
A Petri net perspective on the resource allocation problem in software engineering. (English)
Jensen, Kurt (ed.) et al., Transactions on Petri nets and other models of concurrency V. Berlin: Springer (ISBN 978-3-642-29071-8/pbk). Lecture Notes in Computer Science 6900. Journal Subline, 181-200 (2012).
1
Phylogenetic analysis using an SMV tool (English)
PACBB, 167-174 (2011).
2
Control software design for a cutting glass machine tool based on the COSME platform. Case study (English)
CASE, 501-506 (2011).
3
Communication types for manufacturing systems. A proposal to distributed control system based on IEC 61499 (English)
CASE, 767-772 (2011).
4
Deadlock analysis in minimal adaptive routing algorithms using Petri nets (English)
SMC, 2619-2626 (2010).
5
On the computation of the minimal siphons of $S^{4}$PR nets from a generating family of siphons (English)
ETFA, 1-8 (2010).
6
Salient features of the radar nodes in the puerto rico tropical weather testbed (English)
IGARSS (3), 841-844 (2009).
7
Student developed meteorological radar network for the western part of puerto rico: first node (English)
IGARSS, 3057-3059 (2007).
8
Phase shifter system using vector modulation for xband phased array radar applications (English)
IGARSS, 2750-2753 (2007).
9
Resource allocation systems: some complexity results on the S$^{4}$PR class. (English)
Najm, Elie (ed.) et al., Formal techniques for networked and distributed systems ‒ FORTE 2006. 26th IFIP WG 6.1 international conference, Paris, France, September 26‒29, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-46219-4/pbk). Lecture Notes in Computer Science 4229, 323-338 (2006).
10
Synthesis of asynchronous controllers using integer linear programming. (English)
IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst. 25, No. 9, 1637-1651 (2006).
11
Resource allocation systems: some complexity results on the $S^{4}$PR class (English)
FORTE, 323-338 (2006).
12
A Petri net structure- based deadlock prevention solution for sequential resource allocation systems (English)
ICRA, 271-277 (2005).
13
The resource allocation problem in flexible manufacturing systems. (English)
van der Aalst, Wil (ed.) et al., Applications and theory of Petri nets 2003. 24th international conference, ICATPN 2003, Einhoven, The Netherlands, June 23‒27, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40334-5/pbk). Lecture Notes in Computer Science 2679, 23-35 (2003).
14
The resource allocation problem in flexible manufacturing systems (English)
ICATPN, 23-35 (2003).
15
A banker’s solution for deadlock avoidance in FMS with flexible routing and multiresource states (English)
IEEE Transactions on Robotics 18, No. 4, 621-625 (2002).
16
Applications and theory of Petri nets 2001. 22nd international conference, ICATPN 2001, Newcastle upon Tyne, GB, June 25‒29, 2001. Proceedings. (English)
Lecture Notes in Computer Science. 2075. Berlin: Springer. xii, 403 p. DM 102.00; sFr 88.00; \sterling 35.00; \$ 69.00 (2001).
17
Structurally safe net systems. (English)
Boel, R. (ed.) et al., Discrete event systems. Analysis and control. Papers from the 5th workshop, WODES 2000, Ghent, Belgium, August 21-23, 2000. Boston: Kluwer Academic Publishers. Kluwer Int. Ser. Eng. Comput. Sci. 569, 441-448 (2000).
18
An iterative method for deadlock prevention in FMS. (English)
Boel, R. (ed.) et al., Discrete event systems. Analysis and control. Papers from the 5th workshop, WODES 2000, Ghent, Belgium, August 21‒23, 2000. Boston: Kluwer Academic Publishers (ISBN 0-7923-7897-0). Kluwer Int. Ser. Eng. Comput. Sci. 569, 139-148 (2000).
19
Comments on “Deadlock avoidance policy for Petri-net modeling of flexible manufacturing systems with shared resources" by K.-Y. Xing, B.-S. Hu and H.-X. Chen. (English)
IEEE Trans. Autom. Control 45, No. 9, 1760-1761 (2000).
20
Result 1 to 20 of 46 total
Start
Contact
Print
General Help
