Keywords
Petri netComputer scienceReachabilityAbstractionMicroprocessorProgramming languageRepresentation (politics)Process (computing)Embedded systemTheoretical computer science
Affiliated Institutions
Related Publications
Petri nets: Properties, analysis and applications
Starts with a brief review of the history and the application areas considered in the literature. The author then proceeds with introductory modeling examples, behavioral and st...
A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems
article A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems Share on Authors: Marco Ajmone Marsan Politecnico di Torino, Turin,...
Stochastic Petri net representation of discrete event simulations
In the context of discrete event simulation, the marking of a stochastic Petri net (SPN) corresponds to the state of the underlying stochastic process of the simulation and the ...
Publication Info
- Year
- 1985
- Type
- article
- Volume
- 25
- Issue
- 5
- Pages
- 1001-1010
- Citations
- 2
- Access
- Closed
External Links
Social Impact
Altmetric
PlumX Metrics
Social media, news, blog, policy document mentions
Citation Metrics
2
OpenAlex
Cite This
G.S. Hura,
J. William Atwood
(1985).
Program verification for microprocessors through Petri net modeling.
Microelectronics Reliability
, 25
(5)
, 1001-1010.
https://doi.org/10.1016/s0026-2714(85)80029-9
Identifiers
- DOI
- 10.1016/s0026-2714(85)80029-9