@inproceedings{fd376ffed7b84009b4c1f5be99d9a324,
title = "Software processes as real-time systems: A case study using high-level Petri nets",
abstract = "This paper explores the analogy between software processes and real-time systems by discussing the applicability of a formalism developed for real-time systems specification to the specification and enactment of software processes. The formalism, called ER nets, is based on Petri nets. A specialization of ER nets for this new application area is introduced and its applicability is discussed through a case study. Finally, on going research directions are motivated.",
keywords = "Logic programming, Petri nets, Project management, Prolog, Real-time systems, Software engineering database, Software processes, Version control",
author = "S. Bandinelli and A. Fuggetta and C. Ghezzi",
note = "Publisher Copyright: {\textcopyright} 1992 IEEE.; 11th Annual International Phoenix Conference on Computers and Communication, IPCCC 1992 ; Conference date: 01-04-1992 Through 03-04-1992",
year = "1992",
doi = "10.1109/PCCC.1992.200598",
language = "English",
series = "11th Annual International Phoenix Conference on Computers and Communication, IPCCC 1992 - Proceedings",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "509--516",
booktitle = "11th Annual International Phoenix Conference on Computers and Communication, IPCCC 1992 - Proceedings",
address = "United States",
}