Dualities between nets and automata induced by schizophrenic objects-Reference-Cited by-同舟云学术

Dualities between nets and automata induced by schizophrenic objects

Published:1995 Issue: Volume: Page:24-43
ISSN:0302-9743
Container-title:Category Theory and Computer Science
language:
Short-container-title:

Author:

Badouel Eric,Darondeau Philippe

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-60164-3_18.pdf

Reference9 articles.

1. Arnold, A., and Nivat, M., Comportements de processus. Colloque AFCET « Les Mathématiques de l'Informatique », (1982) 35–68.

2. Badouel, E., and Darondeau, Ph., Trace Nets. REX workshop, Beekbergen “Semantics: Foundation and Applications”, Springer-Verlag Lecture Notes in Computer Science, vol. 666 (1993) 21–50.

3. Bernardinello, L., De Michelis, G., and Petruni, K., Synchronic distances as Generalized Regions. Rapporto Interno n. 107-93, Dipartimento di Scienze dell'Informazione, Universitá degli Studi di Milano (1993).

4. Droste, M., and Shortt, R.M., Petri Nets and Automata with Concurrency Relations — an Adjunction, in ”Semantics of Programming Languages and Model Theory”, M. Droste and Y. Gurevich eds(1993) 69–87.

5. Ehrenfeucht, A., and Rozenberg, G., Partial 2-structures; Part I: Basic Notions and the Representation Problem, and Part II: State Spaces of Concurrent Systems, Acta Informatica, vol 27 (1990).

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Partial Order Semantics of Types of Nets;Lecture Notes in Computer Science;2009

2. Nets Enriched over Closed Monoidal Structures;Applications and Theory of Petri Nets 2003;2003

3. Modular System Development with Pullbacks;Applications and Theory of Petri Nets 2003;2003

4. Parameterized Net Classes: A Uniform Approach to Petri Net Classes;Unifying Petri Nets;2001

5. Generalized Automata and Their Net Representations;Unifying Petri Nets;2001