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
Abstract State Machines: A Method for High-level System Design and Analysis [Internet] Available from, 2003. ,
DOI : 10.1007/978-3-642-18216-7
Appl Theory Petri Nets SE -12 [Internet] Available from, pp.166-80978, 1983. ,
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
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
Event-Driven Architecture [Internet] Available from, 2010. ,
Complex Event Processing (CEP) Informatik-Spektrum [Internet], pp.163-170, 2009. ,
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
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. ,
Rapide: A language and toolset for simulation of distributed systems by partial orderings of events Available from, 1996. ,
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
Enhanced Event Modeling for Human-System Interactions Using IOPT Petri Nets. Human-Computer Syst Interact Backgrounds Appl 3, pp.39-50, 2014. ,
Elementary Events for Modeling of Human-System Interactions with Petri Net Models Available from, pp.219-26978, 2014. ,
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