Analysis of railway stations by means of interval timed coloured Petri nets

Lecture Notes in Computer Science 1205

Industrial Robot the international journal of robotics research and application · 1999 · 38.7K citations

Computing, Computer Science, Programming Languages +2

Petri nets: Properties, analysis and applications

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

Engineering, Computer Engineering, Computer Science +15

A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems

Marco Ajmone Marsan, G. Conte, Gianfranco Balbo · ACM Transactions on Computer Systems · 1984 · 1.3K citations

Computing, Computer Science, Computer Systems +14

Modeling and verification of time dependent systems using time Petri nets

Bernard Berthomieu, M. Díaz · IEEE Transactions on Software Engineering · 1991 · 1.1K citations

Computing, Computer Engineering, Computer Science +17

A unified high-level Petri net formalism for time-critical systems

Carlo Ghezzi, Dino Mandrioli, Sandro Morasca et al. · IEEE Transactions on Software Engineering · 1991 · 345 citations

Engineering, Computer Science, Systems Engineering +15