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.

[BibT_eX]

[DOI]

Appl. Categorical Struct., 2002

2001

Continuous Petri Nets and Transition Systems.

[BibT_eX]

[DOI]

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

1998

Topology for Computations of Concurrent Automata.

[BibT_eX]

[DOI]

Int. J. Algebra Comput., 1998

1992

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

[BibT_eX]

Bull. EATCS, 1992