Modeling and generating context-aware agent-based applications with amended colored Petri nets

Petri nets: Properties, analysis and applications

T. Murata · Proceedings of the IEEE · 1989 · 10.5K citations

Engineering, Computer Engineering, Computer Science +15

Statecharts: a visual formalism for complex systems

David Harel · Science of Computer Programming · 1987 · 6.7K citations

Engineering, Systems Engineering, Complex Systems +10

The active badge location system

Roy Want, Andy Hopper, Veronica Falcão et al. · ACM Transactions on Information Systems · 1992 · 3.8K citations · Full text

Computing, Information Systems, Information Technology +13

Context-Aware Computing Applications

Bill N. Schilit, Norman I. Adams, Roy Want · 1994 · 3.2K citations

Computing, Computer Science, Computer Systems +17

Performance Analysis Using Stochastic Petri Nets

Molloy · IEEE Transactions on Computers · 1982 · 1.1K citations

Engineering, Computer Engineering, Computer Science +15