Post and pre-initialized stopwatch Petri nets: Formal semantics and state space computation

There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and article information

Journal

Title: Nonlinear Analysis: Hybrid Systems

Abbreviated Title: Nonlinear Analysis: Hybrid Systems

Publisher: Elsevier BV

ISSN (Print): 1751570X

Publication date Created: November 2008

Publication date (Print): November 2008

Volume: 2

Issue: 4

Pages: 1175-1186

Article

DOI: 10.1016/j.nahs.2008.09.016

SO-VID: 081c09e9-175f-4914-9dd2-19e264c552ed

License:

https://www.elsevier.com/tdm/userlicense/1.0/

History

Data availability:

Comments

Comment on this article

scite_

Smart Citations

Citing PublicationsSupportingMentioningContrasting

View Citations

See how this article has been cited at scite.ai

scite shows how a scientific paper has been cited by providing the context of the citation, a classification describing whether it supports, mentions, or contrasts the cited claim, and a label indicating in which section the citation was made.