|
| [10] | Chapter 14 – Introduction to Verification (José-Manuel Colom and Serge Haddad), Chapter in Systems Engineering: A Petri Net Based Approach to Modelling, Verification and Implementation, HCM-MATCH Advanced Schools. Jaca, Spain, September, 14-22, 1998, Kronos, Zaragoza, 1998. |
| [9] | Chapter 16 - Structural Methods (José-Manuel Colom, Serge Haddad, Manuel Silva and Enrique Teruel), Chapter in Systems Engineering: A Petri Net Based Approach to Modelling, Verification and Implementation, HCM-MATCH Advanced Schools. Jaca, Spain, September, 14-22, 1998, Kronos, Zaragoza, 1998. |
| [8] | Chapter 6 - Logical Properties of P/T Systems and their Analysis (José-Manuel Colom, Enrique Teruel and Manuel Silva), Chapter in Performance Models for Discrete Event Systems with Synchronisations: Formalisms and Analysis Techniques - Vol.1, HCM-MATCH Advanced Schools. Jaca, Spain, September, 14-22, 1998, Kronos, Zaragoza, 1998. |
| [7] | Chapter 6 - Properties (José-Manuel Colom, Manuel Silva and Enrique Teruel), Chapter in Systems Engineering: A Petri Net Based Approach to Modelling, Verification and Implementation, HCM-MATCH Advanced Schools. Jaca, Spain, September, 14-22, 1998, Kronos, Zaragoza, 1998. |
| [6] | Petri nets as a tool for teaching operating systems (Unai Arronategui), In WCAE@ISCA, ACM, 1998. |
| [5] | A Class of Well Structured Petri Nets for Flexible Manufacturing Systems (Joaquín Ezpeleta and Fernando García-Vallés and José-Manuel Colom), Chapter in Application and Theory of Petri Nets 1998, 19th International Conference, ICATPN '98, Lisbon, Portugal, June 22-26, 1998, Proceedings (Jörg Desel, Manuel Silva, eds.), Springer, volume 1420, 1998. |
| [4] | Optimal Control of Discrete Event Systems (Fernando García-Vallés, Fernando Tricas and Joaquín Ezpeleta), In Proceedings of the International Workshop on Discrete Event Systems, WODES’98, Cagliari, Sardinia, Italy, August 26-28, 1998., Institution of Electrical Engineers, London, 1998. |
| [3] | Optimal control of discrete event systems (F García-Vallés, Fernando Tricas, José-Manuel Colom and J Ezpeleta), In Proc. of the Int. Workshop on Discrete Event Systems(WODES'98), IEE, 1998. |
| [2] | Linear Algebraic and Linear Programming Techniques for the Analysis of Place or Transition Net Systems (Manuel Silva and Enrique Teruel), Chapter in Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets, held in Dagstuhl, September 1996 (Wolfgang Reisig, Grzegorz Rozenberg, eds.), Springer, volume 1491, 1998. |
| [1] | A Structural Approach to the Problem of Deadlock Prevention in Processes with Resources (Fernando Tricas, F García-Vallés, José-Manuel Colom and J Ezpeleta), In Proc. of the Int. Workshop on Discrete Event Systems(WODES'98), IEE, 1998. |