A causal semantic for time Petri nets (Q1575828): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Created claim: Wikidata QID (P12): Q128100515, #quickstatements; #temporary_batch_1722442319438 |
||
(3 intermediate revisions by 3 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A causal semantic for time Petri nets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3771633 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Sequential and concurrent behaviour in Petri net theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4040147 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3619797 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Branching processes of Petri nets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Model checking using net unfoldings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Recoverability of Communication Protocols--Implications of a Theoretical Study / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3911403 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3357558 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3219122 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Timed processes of Timed Petri Nets / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/s0304-3975(99)00114-0 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2144938038 / rank | |||
Normal rank | |||
Property / Wikidata QID | |||
Property / Wikidata QID: Q128100515 / rank | |||
Normal rank |
Latest revision as of 17:12, 31 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A causal semantic for time Petri nets |
scientific article |
Statements
A causal semantic for time Petri nets (English)
0 references
22 August 2000
0 references
time Petri nets
0 references