Simon, Carlo
A logic of actions and its application to the development of programmable controllersKoblenz: Fölbach 2001 235 S. (Koblenzer Schriften zur Informatik ; 16)
Simon, Carlo
A logic of actions and its application to the development of programmable controllersKoblenz: Fölbach 2001
Hanisch, Hans-Michael; Lautenbach, Kurt; Simon, Carlo et al.
Modeling and Validation of Hybrid Systems using Extended Timestamp Netsat - Automatisierungstechnik. Bd. 49. H. 2. de Gruyter 2001 S. 60 - 65
Lautenbach, Kurt; Simon, Carlo
Modellierung der Dynamik einer Batch-AnlageEngineering komplexer Automatisierungssysteme. Braunschweig. 2001 S. 57 - 74
Hanisch, Hans-Michael; Lautenbach, Kurt; Simon, Carlo et al.
A Modular Modeling Approach for Hybrid Systems Based on C/E-Systems and Extended Timestamp NetsProceedings of the 4th International Conference on Automation of Mixed Processes. Dortmund. 2000 S. 363 - 368
Mohamed, Chouikha; Decknatel, Gebhard; Drath, Rainer et al.
Petri Net-based Descriptions for Discrete-Continuous Systemsat - Automatisierungstechnik. Bd. 48. H. 9. de Gruyter 2000 S. 415 - 425
Chouikha, M.; Decknatel, G.; Drath, R. et al.
Petri-Net-based Descriptions for Discrete-Continuous SystemsAutomatisierungstechnik. Bd. 48. H. 9. Berlin: De Gruyter 2000 S. 415
Lautenbach, Kurt; Simon, Carlo
Erweiterte ZeitstempelnetzeFachberichte Informatik. H. 15-97. Koblenz. 1999
Hanisch, Hans-Michael; Lautenbach, Kurt; Simon, Carlo et al.
Timestamp Petri nets in Technical Applications4th International Workshop on Discrete Event Systems. Cagliari, ITA. 1998 S. 321 - 326
Simon, Carlo; Ridder, Hanno; Marx, Thomas
The Petri net tools Neptun and PoseidonKoblenz-Landau: Univ., Inst, für Informatik 1997 0 S. (Fachberichte Informatik ; 15/97)