↓ Skip to main content

Petri Nets: Applications and Relationships to Other Models of Concurrency

Overview of attention for book
Attention for Chapter 24: Petri net based models in the specification and verification of protocols
Altmetric Badge

Citations

dimensions_citation
42 Dimensions

Readers on

mendeley
3 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Petri net based models in the specification and verification of protocols
Chapter number 24
Book title
Petri Nets: Applications and Relationships to Other Models of Concurrency
Published by
Springer, Berlin, Heidelberg, September 1986
DOI 10.1007/3-540-17906-2_24
Book ISBNs
978-3-54-017906-1, 978-3-54-047926-0
Authors

Michel Diaz, Diaz, Michel

Timeline

Login to access the full chart related to this output.

If you don’t have an account, click here to discover Explorer

Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 3 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Canada 1 33%
Austria 1 33%
Unknown 1 33%

Demographic breakdown

Readers by professional status Count As %
Professor > Associate Professor 2 67%
Researcher 1 33%
Readers by discipline Count As %
Engineering 2 67%
Computer Science 1 33%