R. M. Shortt

According to our database¹, R. M. Shortt authored at least 4 papers between 1992 and 2002.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2002

From Petri Nets to Automata with Concurrency.

[DOI]

Appl. Categorical Struct., 2002

2001

Continuous Petri Nets and Transition Systems.

[DOI]

Proceedings of the Unifying Petri Nets, Advances in Petri Nets, 2001

1998

Topology for Computations of Concurrent Automata.

[DOI]

Int. J. Algebra Comput., 1998

1992

Bounded Petri nets of finite dimension have only finitely many reachable markings.

Bull. EATCS, 1992