Simon, Carlo
A Logic of Actions to Specify and Verify Process RequirementsThe 7th Australian Workshop on Requirements Engineering (AWRE). Melbourne. 2002 S. 157 - 168
Simon, Carlo; Reckmann, Nadja; M. C. Swatman, Paula
Initiating eLearning via Workflow Management.I3E. 2002 S. 319 - 333
Simon, Carlo
A logic of actions and its application to the development of programmable controllersKoblenz: Fölbach 2001 235 S.
Hanisch, Hans-Michael; Lautenbach, Kurt; Simon, Carlo et al.
Modeling and Validation of Hybrid Systems using Extended Timestamp NetsAutomatisierungstechnik (AT). 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 SystemsAutomatisierungstechnik (at). 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. Bd. 3. Koblenz. 1999
Hanisch, Hans-Michael; Lautenbach, Kurt; Simon, Carlo et al.
Timestamp Petri nets in Technical Applications4th International Workshop on Discrete Event Systems. Cagliari. 1998 S. 321 - 326
