D. Harel, Statecharts: a visual formalism for complex systems, Science of Computer Programming, vol.8, issue.3, pp.231-74, 1987.
DOI : 10.1016/0167-6423(87)90035-9

E. Börger and R. Stärk, Abstract State Machines: A Method for High-level System Design and Analysis [Internet] Available from, 2003.
DOI : 10.1007/978-3-642-18216-7

K. Jensen, . High-level-petri, and . Nets, Appl Theory Petri Nets SE -12 [Internet] Available from, pp.166-80978, 1983.

W. Reisig and H. Berlin, Distributed algorithms: modeling and analysis with Petri nets, SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.98CH36218), pp.38-43, 1998.
DOI : 10.1109/ICSMC.1998.725380

R. Zurawski and Z. Mengchu, Petri nets and industrial applications: A tutorial, IEEE Transactions on Industrial Electronics, vol.41, issue.6, pp.567-83, 1994.
DOI : 10.1109/41.334574

R. Bruns and J. Dunkel, Event-Driven Architecture [Internet] Available from, 2010.

M. Eckert and F. Bry, Complex Event Processing (CEP) Informatik-Spektrum [Internet], pp.163-170, 2009.

D. Luckham, N. Bassiliades, G. Governatori, and A. Paschke, The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems, Rule Represent Interchang Reason Web SE -2 [Internet], 2008.
DOI : 10.1007/978-3-540-88808-6_2

C. Zang and Y. Fan, Complex event processing in enterprise information systems based on RFID. Enterp Inf Syst [Internet]. Taylor & Francis Available from, Feb, vol.11, issue.1, pp.3-23, 2007.

D. Luckham, Rapide: A language and toolset for simulation of distributed systems by partial orderings of events Available from, 1996.

D. Luckham, J. Kenney, L. Augustin, J. Vera, D. Bryan et al., Specification and analysis of system architecture using Rapide, IEEE Transactions on Software Engineering, vol.21, issue.4, pp.336-54, 1995.
DOI : 10.1109/32.385971

R. Campos-rebelo, A. Costa, and L. Gomes, Enhanced Event Modeling for Human-System Interactions Using IOPT Petri Nets. Human-Computer Syst Interact Backgrounds Appl 3, pp.39-50, 2014.

R. Campos-rebelo, A. Costa, and L. Gomes, Elementary Events for Modeling of Human-System Interactions with Petri Net Models Available from, pp.219-26978, 2014.

R. Campos-rebelo, A. Costa, and L. Gomes, Output events for human-system interaction modeling, 2014 7th International Conference on Human System Interactions (HSI), pp.261-267, 2014.
DOI : 10.1109/HSI.2014.6860486