Simon, Carlo; Dehnert, Juliane
From Business Process Fragments to Workflow Definitions.EMISA. 2004 S. 95 - 106
Simon, Carlo; Rebstock, Michael
Integration of Multi-attributed Negotiations within Business Processes.Business Process Management. 2004 S. 148 - 162
Simon, Carlo
A Logic of Actions to Specify and Verify Process RequirementsThe 7th Australian Workshop on Requirements Engineering. Melbourne, AUS. 2002 S. - 12 Seiten
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. (Koblenzer Schriften zur Informatik ; 16)
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
Lautenbach, Kurt; Simon, Carlo
Erweiterte ZeitstempelnetzeFachberichte Informatik. H. 15-97. Koblenz. 1999